Suppose Michael Phelps holds the all-time records for Olympic gold medals with 23, Olympic gold medals in individual events with 13, and Olympic medals in individual events with 16. He is widely considered one of the greatest swimmers of all time.
Can we infer that "Michael Phelps has never competed in the Olympics."? Yes, no, or maybe?