Premise: that is correct

Hypothesis: That's right. 
Relation: entailment