Premise: _They_ proved that.

Hypothesis: They demonstrated that.
Relation: entailment