Suppose Michael Phelps is a retired American swimmer who is the most successful and most decorated Olympian of all time, with a total of 28 medals. He holds the record for the most Olympic gold medals, with a total of 23.
Can we infer that "Michael Phelps never won an Olympic gold medal."? Yes, no, or maybe?