the fact that that the pupillariness does not occur is brought about by that the regimentalsness does not occur does not hold.
sent1: the vice-presidency does not occur. sent2: that the regimentalsness and the non-pupillariness happens is false if the instrument does not occur. sent3: the instrumenting does not occur if the spectrometricness does not occur and the spring-cleaning Faust does not occur. sent4: the regimentalsness brings about that the pupillariness does not occur. sent5: that the nonsuppurativeness happens is correct if that the barrage does not occur is not wrong. sent6: the regimentalsness happens if the pupillariness occurs. sent7: if the fact that the fact that the regimentalsness but not the pupillariness happens is true is not true the imprisonment does not occur.
void -> assump1: Let's assume that the pupillariness occurs.; sent6 & assump1 -> int1: the regimentalsness occurs.; void -> assump2: Let's assume that the regimentalsness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pupillariness does not occur.; [assump2] & int3 -> hypothesis;
the imprisonment does not occur.
$hypothesis$ = the fact that that the pupillariness does not occur is brought about by that the regimentalsness does not occur does not hold. ; $context$ = sent1: the vice-presidency does not occur. sent2: that the regimentalsness and the non-pupillariness happens is false if the instrument does not occur. sent3: the instrumenting does not occur if the spectrometricness does not occur and the spring-cleaning Faust does not occur. sent4: the regimentalsness brings about that the pupillariness does not occur. sent5: that the nonsuppurativeness happens is correct if that the barrage does not occur is not wrong. sent6: the regimentalsness happens if the pupillariness occurs. sent7: if the fact that the fact that the regimentalsness but not the pupillariness happens is true is not true the imprisonment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pupillariness occurs.; sent6 & assump1 -> int1: the regimentalsness occurs.; void -> assump2: Let's assume that the regimentalsness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pupillariness does not occur.; [assump2] & int3 -> hypothesis; __DISPROVED__