We know that Sullivan believes in him (her?
Sullivan has definitive proof that he exists beyond a doubt. 
mnli hypothesis: Sullivan has definitive proof that he exists beyond a doubt.  premise: We know that Sullivan believes in him (her?