Premise: that's exactly right and

Hypothesis: That is absolutely correct.
Relation: entailment