Suppose In the world of professional tennis, Roger Federer is widely regarded as one of the greatest players of all time. He has won a record 20 Grand Slam singles titles, including eight Wimbledon championships. Federer is known for his elegant playing style and sportsmanship on and off the court.
Can we infer that "Roger Federer has never won a Wimbledon championship."? Yes, no, or maybe?