the promulgator is not a resuscitator.
sent1: if the chorister is paroxysmal the tropopause is a Fargo. sent2: if the viceroy is not dependent then the chorister is awful. sent3: something is paroxysmal if it is awful. sent4: if the tropopause is a Fargo then the promulgator is a resuscitator. sent5: the viceroy does dope and is not dependent.
sent5 -> int1: the viceroy is not dependent.; int1 & sent2 -> int2: the chorister is awful.; sent3 -> int3: if the fact that the chorister is awful is correct then it is paroxysmal.; int2 & int3 -> int4: the chorister is paroxysmal.; int4 & sent1 -> int5: the tropopause is a Fargo.; int5 & sent4 -> hypothesis;
$hypothesis$ = the promulgator is not a resuscitator. ; $context$ = sent1: if the chorister is paroxysmal the tropopause is a Fargo. sent2: if the viceroy is not dependent then the chorister is awful. sent3: something is paroxysmal if it is awful. sent4: if the tropopause is a Fargo then the promulgator is a resuscitator. sent5: the viceroy does dope and is not dependent. ; $proof$ = 
sent5 -> int1: the viceroy is not dependent.; int1 & sent2 -> int2: the chorister is awful.; sent3 -> int3: if the fact that the chorister is awful is correct then it is paroxysmal.; int2 & int3 -> int4: the chorister is paroxysmal.; int4 & sent1 -> int5: the tropopause is a Fargo.; int5 & sent4 -> hypothesis; __DISPROVED__