Premise: Finding the case locked, he was obliged to force it, thus 63 betraying his presence.
Hypothesis: The case was unlocked but he stilled forced it. 
Label: contradiction