Take the following as truth: They should be mining.
Then the following statement: "They should spend their time mining." is true, false, or inconclusive?
Answer: True