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

Hypothesis: There are no cruises around Lake Annecy that start from the Thiou river.
Relation: contradiction