Text: Horwitz doesn't leave it there.
Entailment: He doesn't leave it there.
Contradiction: He left it there.