Premise: Looking down, Jon saw Susan.
Hypothesis: Jon could not see Susan. 
Label: contradiction