Premise: Mike Tyson . 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 Council ( WBC ) is one of four major organizations which sanction world championship boxing bouts , alongside the International Boxing Federation ( IBF ) , World Boxing Association ( WBA ) and World Boxing Organization ( WBO ) .
Hypothesis: Mike Tyson was a boxer.
Label: ENTAILMENT