Premise: The hole would be empty.

Hypothesis: The hole was full.
Relation: contradiction