Premise: but exactly

Hypothesis: Although certainly true.
Relation: entailment