Premise: 'Is he still here?'

Hypothesis: It's certain that he's not here. 
Relation: contradiction