Take the following as truth: They should be mining.
Then the following statement: "They shouldn't be mining." is true, false, or inconclusive?
Answer: False