Premise: That door isn't shut."

Hypothesis: That door has been shut and locked.
Relation: contradiction