Premise:  He saw Adrin nod.
Hypothesis: He couldn't find Adrin anywhere. 
Label: contradiction