Premise: Horwitz doesn't leave it there.

Hypothesis: He doesn't leave it there.
Relation: entailment