Premise: Evidence!

Hypothesis: Proof!
Relation: entailment