They retraced their steps slowly to the gate.
They went on their way, having assumed their key was lost forever.
mnli hypothesis: They went on their way, having assumed their key was lost forever. premise: They retraced their steps slowly to the gate.