Cars must be left at the southern end of the town.
There is a fine for taking cars to the north of the town.
mnli hypothesis: There is a fine for taking cars to the north of the town. premise: Cars must be left at the southern end of the town.