Premise: until they got off the machine

Hypothesis: We don't have to wait for them to get off the machine.
Relation: contradiction