Suppose Michael Phelps is an American former competitive swimmer and the most successful and most decorated Olympian of all time, with a total of 28 medals.
Can we infer that "Michael Phelps is a retired swimmer."? Yes, no, or maybe?