Suppose In the 2008 Beijing Olympics, Michael Phelps won a record-breaking 8 gold medals in swimming, surpassing Mark Spitz's previous record of 7 gold medals in a single Olympics. Phelps also set multiple world records during the competition.
Can we infer that "Michael Phelps is a professional basketball player"? Yes, no, or maybe?