Suppose Michael Thompson is a professional golfer who has won multiple major championships, including The Masters and The Open Championship. He is considered one of the greatest golfers of all time.
Can we infer that "Michael Thompson has never won a major championship."? Yes, no, or maybe?