Suppose Michael Phelps, born on June 30, 1985, is a retired American swimmer who holds the record for the most Olympic medals won by any athlete in history. He has competed in multiple Olympic Games and has won numerous gold medals for his swimming performances.
Can we infer that "Michael Phelps is a professional soccer player"? Yes, no, or maybe?