Premise: Michael Gerard Tyson ( [ ˈtaɪsən ] born June 30 , 1966 ) is an American former professional boxer who competed from 1985 to 2005 .
Hypothesis: Mike Tyson boxed professionally.
Label: ENTAILMENT