Premise: Michael Phelps . Phelps is the long course world record holder in the 100 meter butterfly , 200 meter butterfly , and 400 meter individual medley as well as the former long course world record holder in the 200 meter freestyle and 200 meter individual medley .
Hypothesis: Michael Phelps is the former long course world record holder in a freestyle and an individual medley length.
Label: ENTAILMENT