Text: Dave stopped as the door closed behind him.
Entailment: Dave halted as the door shut behind him.
Contradiction: Dave kept walking, and ignored the door closing behind him.