Premise: until they got off the machine

Hypothesis: Until they will leave.
Relation: entailment