Premise: We know that Sullivan believes in him (her?

Hypothesis: Sullivan has definitive proof that he exists beyond a doubt. 
Relation: contradiction