Suppose John Smith is a professional golfer from Scotland. He has won multiple championships on the European Tour and is known for his strong putting skills. Smith is currently ranked in the top 10 golfers in the world.
Can we infer that "John Smith has never won a championship on the European Tour"? Yes, no, or maybe?