Suppose Michael Johnson is a retired track and field athlete from the United States. He is a four-time Olympic gold medalist and held the world record in the 200m and 400m races.
Can we infer that "Michael Johnson is a professional basketball player"? Yes, no, or maybe?