Premise: This lock has been forced."
Hypothesis: The lock had not been tampered with. 
Label: contradiction