Suppose John Johnson is a professional basketball player known for his exceptional shooting skills and sportsmanship. He has played for several teams in the NBA and has won multiple championships.
Can we infer that "John Johnson is a retired football player."?