Premise: I suppose you are quite sure that the latch-key was forgotten, that he did not take it after all?

Hypothesis: He had the key with him at all times.
Relation: contradiction