Premise: Jon could not imagine what they had faced in their own tunnel.

Hypothesis: Jon knew exactly what was down this tunnel, no doubt about it.
Relation: contradiction