Premise: Also technically true.

Hypothesis: That is correct.
Relation: entailment