Text: until they got off the machine
Entailment: Until they will leave.
Contradiction: We don't have to wait for them to get off the machine.