Suppose Serena Williams is an American professional tennis player and former world No. 1 in women's singles tennis. She has won 23 Grand Slam singles titles, the most by any player in the Open Era, and the second-most of all time behind Margaret Court (24).
Can we infer that "Serena Williams has never won a Grand Slam singles title."? Yes, no, or maybe?