Suppose Michael Phelps is a retired American swimmer and the most successful Olympian of all time. He has won a total of 28 Olympic medals, including 23 gold medals, across multiple Games. Phelps is known for his incredible athleticism and dominance in the pool.
Can we infer that "Michael Phelps has never competed in the Olympics."? Yes, no, or maybe?