Premise: The door opened.

Hypothesis: The door remain shut.
Relation: contradiction