Premise: Jon awoke late into the night, his bladder full.

Hypothesis: Jon slept through the night soundly without waking.
Relation: contradiction