Premise: _They_ proved that.

Hypothesis: They could not substantiate that.
Relation: contradiction