Premise: There's no surface transportation available, and all the local rocs are in use.

Hypothesis: There's plenty of transport available whenever you need it.
Relation: contradiction