Suppose Lewis Hamilton is a seven-time Formula 1 World Champion, with his latest championship win in 2020. He currently drives for the Mercedes-AMG Petronas Formula One Team.
Can we infer that "Lewis Hamilton has never won a Formula 1 championship."? Yes, no, or maybe?