Suppose Tiger Woods, born Eldrick Tont Woods, is an American professional golfer. He is tied for first in PGA Tour wins and ranks second in men's major championships and also holds numerous golf records.
Can we infer that "Tiger Woods has never won a major championship"? Yes, no, or maybe?