Premise: Haifa has a number of good beaches, just to the west of the port in the Bat-Galim area.

Hypothesis: Haifa doesn't have any good beaches, but there are mountains just to the west of the port.
Relation: contradiction