Suppose Michael Phelps, born on June 30, 1985, is a retired American swimmer who has won multiple Olympic gold medals in swimming events. He is 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?