Premise: May we go up?"

Hypothesis: May we head down?
Relation: contradiction