Premise: Another proof, if proof was needed.

Hypothesis: There was more proof.
Relation: entailment