Suppose John Smith is a professional tennis player who has won multiple Grand Slam titles and has been ranked number 1 in the world. He is known for his powerful serve and consistent groundstrokes.
Can we infer that "John Smith is a retired tennis player."? Yes, no, or maybe?