Premise: All the doors had been bolted on the inside.

Hypothesis: The doors were left open.
Relation: contradiction