Suppose John Smith is a professional basketball player currently playing for the Los Angeles Lakers in the NBA. He was drafted in the first round in 2015 after playing college basketball at Duke University and winning a national championship.
Can we infer that "John Smith has never won a championship with the Los Angeles Lakers."? Yes, no, or maybe?