Suppose Tim Johnson is a top-ranked professional tennis player who has won multiple Grand Slam titles. He is known for his powerful serve and aggressive playing style. Johnson's career highlights include winning the Wimbledon and Australian Open titles in the same year.
Can we infer that "Tim Johnson is a retired tennis player."? Yes, no, or maybe?