Premise: Ty Cobb . Cobb is widely credited with setting 90 MLB records during his career .
Hypothesis: Ty Cobb set 20 records in professional baseball.
Label: ENTAILMENT