Premise: We're halfway through Utah.

Hypothesis: We have yet to begin the drive through Utah.
Relation: contradiction