that if that the waxing occurs is not false that the multilingualness does not occur is right does not hold.
sent1: both the tightening and the dogmatizing usualness occurs if the dogmatizing neotony does not occur. sent2: the leeward occurs if the waxing does not occur. sent3: the stapling Galatians does not occur if the fact that not the gnomicness but the interspersion happens is wrong. sent4: that the flanking does not occur is brought about by that the wax happens and the multilingualness occurs. sent5: the Brobdingnagianness happens if the favoring occurs. sent6: the doctrinalness is triggered by the tightening. sent7: the unmanliness does not occur. sent8: the destroying happens. sent9: the inquisitorialness is prevented by that the uncared-forness happens and/or the inquisitorialnessness. sent10: the flanking occurs. sent11: if the Judaicness happens then that the strife does not occur is correct. sent12: if the allies and the toplessness occurs then the ordering does not occur. sent13: that the multilingualness occurs is correct if the waxing occurs. sent14: that the Moroccan does not occur is prevented by that the dogmatizing thruster happens. sent15: the uncared-forness happens. sent16: that both the non-inquisitorialness and the Moroccanness occurs prevents that the dogmatizing neotony happens. sent17: the multilingualness happens and the flank happens if the stapling Galatians does not occur. sent18: if the cinch occurs the stapling injector happens. sent19: if the doctrinalness occurs that the non-gnomicness and the interspersion happens does not hold. sent20: the linebacker happens.
void -> assump1: Let's assume that the waxing occurs.; void -> assump2: Let's assume that the multilingualness happens.; assump1 & assump2 -> int1: the waxing happens and the multilingualness happens.; int1 & sent4 -> int2: the flanking does not occur.; int2 & sent10 -> int3: this is contradiction.; [assump2] & int3 -> int4: the multilingualness does not occur.; [assump1] & int4 -> hypothesis;
the leewardness happens.
sent15 -> int5: the uncared-forness and/or the non-inquisitorialness occurs.; sent9 & int5 -> int6: the inquisitorialness does not occur.;
$hypothesis$ = that if that the waxing occurs is not false that the multilingualness does not occur is right does not hold. ; $context$ = sent1: both the tightening and the dogmatizing usualness occurs if the dogmatizing neotony does not occur. sent2: the leeward occurs if the waxing does not occur. sent3: the stapling Galatians does not occur if the fact that not the gnomicness but the interspersion happens is wrong. sent4: that the flanking does not occur is brought about by that the wax happens and the multilingualness occurs. sent5: the Brobdingnagianness happens if the favoring occurs. sent6: the doctrinalness is triggered by the tightening. sent7: the unmanliness does not occur. sent8: the destroying happens. sent9: the inquisitorialness is prevented by that the uncared-forness happens and/or the inquisitorialnessness. sent10: the flanking occurs. sent11: if the Judaicness happens then that the strife does not occur is correct. sent12: if the allies and the toplessness occurs then the ordering does not occur. sent13: that the multilingualness occurs is correct if the waxing occurs. sent14: that the Moroccan does not occur is prevented by that the dogmatizing thruster happens. sent15: the uncared-forness happens. sent16: that both the non-inquisitorialness and the Moroccanness occurs prevents that the dogmatizing neotony happens. sent17: the multilingualness happens and the flank happens if the stapling Galatians does not occur. sent18: if the cinch occurs the stapling injector happens. sent19: if the doctrinalness occurs that the non-gnomicness and the interspersion happens does not hold. sent20: the linebacker happens. ; $proof$ = 
void -> assump1: Let's assume that the waxing occurs.; void -> assump2: Let's assume that the multilingualness happens.; assump1 & assump2 -> int1: the waxing happens and the multilingualness happens.; int1 & sent4 -> int2: the flanking does not occur.; int2 & sent10 -> int3: this is contradiction.; [assump2] & int3 -> int4: the multilingualness does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__