Premise: That's so.

Hypothesis: Correct.  
Relation: entailment