Premise: Jon didn't stay.

Hypothesis: Jon stayed for a while.
Relation: contradiction