Premise:  Dave stopped as the door closed behind him.
Hypothesis: Dave kept walking, and ignored the door closing behind him.
Label: contradiction