Premise: Other major rivers are the Tiber in Rome, the Arno in Tuscany, and the Adige in the Tyrolean Dolomites.

Hypothesis: The Adige is not a river.
Relation: contradiction