Premise: He saw no sign of Adrin.
Hypothesis: There were signs of Adrin everywhere and he saw them all. 
Label: contradiction