Premise: They rode through the barrens and shortly before dusk they found Heaven's Highway.

Hypothesis: They found Heaven's Highway after riding through the river.
Relation: contradiction