Premise: We know that Sullivan believes in him (her?
Hypothesis: Sullivan has definitive proof that he exists beyond a doubt. 
Label: contradiction