Premise: Heavyweight is a weight class in boxing and other combat sports . Michael Gerard Tyson ( [ ˈtaɪsən ] born June 30 , 1966 ) is an American former professional boxer who competed from 1985 to 2005 . This made Tyson the first heavyweight boxer to simultaneously hold the WBA , WBC and IBF titles , and the only heavyweight to successively unify them .
Hypothesis: Mike Tyson's weight class was heavy.
Label: ENTAILMENT