Premise: Mike Tyson . Tyson became the lineal champion in 1988 when he knocked out Michael Spinks in 91 seconds of the first round . 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 .
Hypothesis: Mike Tyson was victorious.
Label: ENTAILMENT