Premise: This is where the cruise boats dock.

Hypothesis: no boats are allowed to dock here.
Relation: contradiction