When they awoke, Jon found the answer to their problems.
Jon figured out how to scale the mountain when they woke up.
mnli hypothesis: Jon figured out how to scale the mountain when they woke up. premise: When they awoke, Jon found the answer to their problems.