Premise: They should be mining.

Hypothesis: They shouldn't be mining.
Relation: contradiction