Premise: we have a rock base here and it's very difficult

Hypothesis: We don't have a rock base here.
Relation: contradiction