Premise: Phil Mickelson . He has won every major except the U.S. Open , where he has finished runner-up a record six times .
Hypothesis: Phil Mickelson has finished second in the U.S. Open six times.
Label: ENTAILMENT