Premise: Jon looked for Adrin and San'doro but saw neither.
Hypothesis: Jon saw Adrin. 
Label: contradiction