Premise: exactly right that's true

Hypothesis: That is true.
Relation: entailment