Premise: It Gislebertus did this.

Hypothesis: This was not done by Gislebertus.
Relation: contradiction