Premise: Have we arrived?

Hypothesis: We are not going there, are we?
Relation: contradiction