Premise: We can proceed.

Hypothesis: We can't continue.
Relation: contradiction