Premise: Mike Tyson . Tyson retired from professional boxing in 2006 , after being knocked out in consecutive matches against Danny Williams and Kevin McBride .
Hypothesis: Mike Tyson was a boxer.
Label: ENTAILMENT