Premise:  Lakeside city located inside the embankment or on top of it

Hypothesis: The embankment does not have a city anywhere near it.
Relation: contradiction