Suppose Michael Johnson is a former Olympic sprinter who holds the world record for the 400 meters. He won multiple gold medals at the Olympic Games and World Championships during his career. Johnson is now a sports commentator and runs a successful sports management company.
Can we infer that "Michael Johnson is a retired professional basketball player"? Yes, no, or maybe?