Premise: Cruises around Lake Annecy start from the Thiou river.

Hypothesis: The Thiou river has no harbors, docking being impossible.
Relation: contradiction