Premise: 'Is he still here?'
Hypothesis: It's certain that he's not here. 
Label: contradiction