Premise: It was obviously locked or bolted on the inside.

Hypothesis: The door was open.
Relation: contradiction