that that the Frenching airfield does not occur but the pathologicalness occurs is not incorrect does not hold.
sent1: that the election occurs is right. sent2: that not the Frenching airfield but the pathologicalness occurs is false if the nonsyllabicness does not occur. sent3: the pathologicalness occurs if not the consuetude but the extrospectiveness occurs. sent4: the noncollapsibleness occurs and the easternness occurs. sent5: that the nonsyllabicness and the bluff occurs leads to the non-Dutchness. sent6: that the snicking peristyle does not occur is not incorrect. sent7: either the expensiveness occurs or the chemosurgery happens or both if the absoluteness does not occur. sent8: that the absolute happens is not true. sent9: both the testimonialness and the proliferating metronome occurs. sent10: the Dutch happens if the chemosurgery happens. sent11: if the chemosurgery does not occur and the absolute occurs the expensiveness does not occur. sent12: the nonsyllabicness occurs. sent13: that the consuetude does not occur and the extrospectiveness occurs is brought about by that the snicking peristyle does not occur. sent14: the fact that the consequence does not occur hold. sent15: the endarterectomy does not occur but the plotting lactose happens. sent16: if the extrospectiveness does not occur then the absolute occurs and the consuetude occurs. sent17: that the Dutchness does not occur is prevented by that the expensiveness occurs. sent18: the liberal happens. sent19: if that not the bluffing but the noncollapsibleness happens is correct that the Frenching airfield does not occur is right. sent20: if the noncollapsibleness does not occur that the bluff happens and the Dutch occurs does not hold.
void -> assump1: Let's assume that the bluff occurs.; sent12 & assump1 -> int1: both the nonsyllabicness and the bluffing happens.; int1 & sent5 -> int2: the Dutch does not occur.; sent7 & sent8 -> int3: the expensiveness happens or the chemosurgery happens or both.; int3 & sent17 & sent10 -> int4: the Dutchness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bluff does not occur.; sent4 -> int7: the noncollapsibleness happens.; int6 & int7 -> int8: the bluff does not occur but the noncollapsibleness occurs.; int8 & sent19 -> int9: the Frenching airfield does not occur.; sent13 & sent6 -> int10: not the consuetude but the extrospectiveness happens.; sent3 & int10 -> int11: the pathologicalness happens.; int9 & int11 -> hypothesis;
the fact that the Frenching airfield does not occur but the pathologicalness occurs does not hold.
$hypothesis$ = that that the Frenching airfield does not occur but the pathologicalness occurs is not incorrect does not hold. ; $context$ = sent1: that the election occurs is right. sent2: that not the Frenching airfield but the pathologicalness occurs is false if the nonsyllabicness does not occur. sent3: the pathologicalness occurs if not the consuetude but the extrospectiveness occurs. sent4: the noncollapsibleness occurs and the easternness occurs. sent5: that the nonsyllabicness and the bluff occurs leads to the non-Dutchness. sent6: that the snicking peristyle does not occur is not incorrect. sent7: either the expensiveness occurs or the chemosurgery happens or both if the absoluteness does not occur. sent8: that the absolute happens is not true. sent9: both the testimonialness and the proliferating metronome occurs. sent10: the Dutch happens if the chemosurgery happens. sent11: if the chemosurgery does not occur and the absolute occurs the expensiveness does not occur. sent12: the nonsyllabicness occurs. sent13: that the consuetude does not occur and the extrospectiveness occurs is brought about by that the snicking peristyle does not occur. sent14: the fact that the consequence does not occur hold. sent15: the endarterectomy does not occur but the plotting lactose happens. sent16: if the extrospectiveness does not occur then the absolute occurs and the consuetude occurs. sent17: that the Dutchness does not occur is prevented by that the expensiveness occurs. sent18: the liberal happens. sent19: if that not the bluffing but the noncollapsibleness happens is correct that the Frenching airfield does not occur is right. sent20: if the noncollapsibleness does not occur that the bluff happens and the Dutch occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the bluff occurs.; sent12 & assump1 -> int1: both the nonsyllabicness and the bluffing happens.; int1 & sent5 -> int2: the Dutch does not occur.; sent7 & sent8 -> int3: the expensiveness happens or the chemosurgery happens or both.; int3 & sent17 & sent10 -> int4: the Dutchness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bluff does not occur.; sent4 -> int7: the noncollapsibleness happens.; int6 & int7 -> int8: the bluff does not occur but the noncollapsibleness occurs.; int8 & sent19 -> int9: the Frenching airfield does not occur.; sent13 & sent6 -> int10: not the consuetude but the extrospectiveness happens.; sent3 & int10 -> int11: the pathologicalness happens.; int9 & int11 -> hypothesis; __DISPROVED__