Premise: That's true.

Hypothesis: That is correct.
Relation: entailment