Premise: For a given value of truth.

Hypothesis: The answer given was known to be true.
Relation: entailment