Premise: Jon envied that.

Hypothesis: Jon was not envious. 
Relation: contradiction