Premise: _They_ proved that.

Hypothesis: They provided written proof.
Relation: neutral