Premise: I happened to notice that it was bolted.
Hypothesis: I knew myself that the door was open. 
Label: contradiction