Premise: Heavyweight is a weight class in boxing and other combat sports . Mike Tyson . He was ranked No. 16 on The Rings list of 100 greatest punchers of all time , and No. 1 in the ESPN.com list of `` The Hardest Hitters in Heavyweight History . ''
Hypothesis: Mike Tyson's weight class was heavy.
Label: ENTAILMENT