Suppose Tiger Woods is a professional golfer who has won numerous major championships, including the Masters, U.S. Open, The Open Championship, and the PGA Championship.
Can we infer that "Tiger Woods has never won a major championship."?