Premise: That is so.

Hypothesis: That is correct.
Relation: entailment