Suppose Serena Williams is a professional tennis player with multiple Grand Slam titles to her name. She holds the record for the most women's singles titles at the Australian Open.
Can we infer that "Serena Williams has never won a Grand Slam title before"?