When they awoke, Jon found the answer to their problems.
Jon still didn't know the answer to their problems, even when they awoke.
mnli hypothesis: Jon still didn't know the answer to their problems, even when they awoke. premise: When they awoke, Jon found the answer to their problems.