Premise: Michael Gerard Tyson ( [ ˈtaɪsən ] born June 30 , 1966 ) is an American former professional boxer who competed from 1985 to 2005 . 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 brand of deli meat.
Label: CONTRADICTION