Suppose John Smith (born 25 March 1985) is a professional tennis player who has won multiple Grand Slam titles and has been ranked number one in the world. He is known for his powerful serve and aggressive playing style.
Can we infer that 'John Smith is a retired swimmer'? Yes, no, or maybe?