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 record for the most gold medals in Olympic history, with 23.
Can we infer that "Michael Phelps is currently competing in the Olympics"? Yes, no, or maybe?