Jon could not imagine what they had faced in their own tunnel.
Jon couldn't figure out what was down the tunnel, but he had an idea.
mnli hypothesis: Jon couldn't figure out what was down the tunnel, but he had an idea. premise: Jon could not imagine what they had faced in their own tunnel.