Premise: But it's not locked now.

Hypothesis: But it's still locked.
Relation: contradiction