the Franciscan does not occur.
sent1: if the flutter does not occur the fact that the self-flagellation does not occur and the witching does not occur does not hold. sent2: the aluminousness happens if the Franciscanness occurs. sent3: that the baby and the intelligence happens is false if the archiepiscopalness does not occur. sent4: that the stigmatizing Darwinian does not occur results in that the falls does not occur or that the permitting Jap does not occur or both. sent5: if the clutter does not occur then that the witching occurs and the falls does not occur is wrong. sent6: the fluttering is prevented by that either the falls does not occur or the permitting Jap does not occur or both. sent7: that the intelligence does not occur results in that the Franciscan but not the music occurs. sent8: the archiepiscopalness does not occur if the self-flagellation does not occur. sent9: the exasperation occurs and the intelligence happens if the baby does not occur. sent10: the self-flagellation does not occur if the witching does not occur but the least occurs. sent11: the baby does not occur if that the self-flagellation does not occur and the witching does not occur does not hold. sent12: the fact that the aluminousness and the non-efferentness occurs is not true if the music does not occur. sent13: the stigmatizing Darwinian does not occur. sent14: the clutter does not occur. sent15: the witching does not occur if that the witching but not the falling occurs is incorrect. sent16: that the least occurs brings about that the archiepiscopalness happens. sent17: the music does not occur. sent18: that the permitting scrapheap occurs is prevented by that the music does not occur but the Franciscanness occurs. sent19: if the creep does not occur then the leastness occurs and the clutter occurs. sent20: if the archiepiscopalness occurs then the music does not occur and the Franciscanness happens. sent21: the aluminousness occurs. sent22: that the aluminousness happens but the efferent does not occur is caused by that the Franciscan happens.
void -> assump1: Let's assume that the Franciscan happens.; sent22 & assump1 -> int1: the aluminousness and the non-efferentness happens.; sent12 & sent17 -> int2: the fact that the aluminousness but not the efferent occurs is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Franciscanness occurs.
sent5 & sent14 -> int4: that the witching but not the falls happens does not hold.; sent15 & int4 -> int5: the witching does not occur.;
$hypothesis$ = the Franciscan does not occur. ; $context$ = sent1: if the flutter does not occur the fact that the self-flagellation does not occur and the witching does not occur does not hold. sent2: the aluminousness happens if the Franciscanness occurs. sent3: that the baby and the intelligence happens is false if the archiepiscopalness does not occur. sent4: that the stigmatizing Darwinian does not occur results in that the falls does not occur or that the permitting Jap does not occur or both. sent5: if the clutter does not occur then that the witching occurs and the falls does not occur is wrong. sent6: the fluttering is prevented by that either the falls does not occur or the permitting Jap does not occur or both. sent7: that the intelligence does not occur results in that the Franciscan but not the music occurs. sent8: the archiepiscopalness does not occur if the self-flagellation does not occur. sent9: the exasperation occurs and the intelligence happens if the baby does not occur. sent10: the self-flagellation does not occur if the witching does not occur but the least occurs. sent11: the baby does not occur if that the self-flagellation does not occur and the witching does not occur does not hold. sent12: the fact that the aluminousness and the non-efferentness occurs is not true if the music does not occur. sent13: the stigmatizing Darwinian does not occur. sent14: the clutter does not occur. sent15: the witching does not occur if that the witching but not the falling occurs is incorrect. sent16: that the least occurs brings about that the archiepiscopalness happens. sent17: the music does not occur. sent18: that the permitting scrapheap occurs is prevented by that the music does not occur but the Franciscanness occurs. sent19: if the creep does not occur then the leastness occurs and the clutter occurs. sent20: if the archiepiscopalness occurs then the music does not occur and the Franciscanness happens. sent21: the aluminousness occurs. sent22: that the aluminousness happens but the efferent does not occur is caused by that the Franciscan happens. ; $proof$ = 
void -> assump1: Let's assume that the Franciscan happens.; sent22 & assump1 -> int1: the aluminousness and the non-efferentness happens.; sent12 & sent17 -> int2: the fact that the aluminousness but not the efferent occurs is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__