Suppose Michael Phelps is a retired American competitive swimmer and the most successful and most decorated Olympian of all time, with a total of 28 medals. He also holds the all-time records for Olympic gold medals, individual Olympic gold medals, and Olympic medals in individual events.
Can we infer that "Michael Phelps never won a gold medal in the Olympics"? Yes, no, or maybe?