Suppose Roger Federer was born on 8 August 1981 in Basel, Switzerland. He has won 20 Grand Slam singles titles, the most in history for a male tennis player, and has held the world No. 1 spot in the ATP rankings a record total of 310 weeks. In majors, Federer has won a record eight Wimbledon titles, six Australian Open titles, five US Open titles, and one French Open title.
Can we infer that "Roger Federer has never won a Grand Slam singles title."? Yes, no, or maybe?