Suppose Serena Williams is a professional tennis player who has won 23 Grand Slam singles titles, the most by any player in the Open Era. She has also won four Olympic gold medals, making her one of the most successful tennis players in history.
Can we infer that "Serena Williams has never won an Olympic medal"? Yes, no, or maybe?