Premise: They rode the high trail into the northern mountains.
Hypothesis: They swam across the river. 
Label: contradiction