Premise: Jon approached.

Hypothesis: Jon never came over.
Relation: contradiction