Premise: Michael Gerard Tyson ( [ ˈtaɪsən ] born June 30 , 1966 ) is an American former professional boxer who competed from 1985 to 2005 . After being stripped of the WBC title in the same year , Tyson lost the WBA title to Evander Holyfield by an eleventh-round stoppage . The World Boxing Association ( WBA ) is the oldest and one of four major organizations which sanction world championship boxing bouts , alongside the IBF , WBC and WBO .
Hypothesis: Mike Tyson is a boxer.
Label: ENTAILMENT