Text: They should be mining.
Entailment: They should spend their time mining.
Contradiction: They shouldn't be mining.