Premise:  He turned and pointed to Severn.
Hypothesis: He looked everywhere for Severn but could not find him. 
Label: contradiction