Premise: Mike Tyson . With his defeat of Bruno , Tyson joined Floyd Patterson , Muhammad Ali , Tim Witherspoon , Evander Holyfield , George Foreman as the only men in boxing history to have regained a heavyweight championship after having lost it . After being stripped of the WBC title in the same year , Tyson lost the WBA title to Evander Holyfield by an eleventh-round stoppage .
Hypothesis: Mike Tyson fought heavyweight boxer Evander Holyfield.
Label: ENTAILMENT