Premise: Quite right.

Hypothesis: This is correct.
Relation: entailment