Premise: Jon envied that.
Hypothesis: Jon was not envious. 
Label: contradiction