Premise: Cars must be left at the southern end of the town.

Hypothesis: One is not allowed to leave cars in the north of the town.
Relation: entailment