that the non-disjunctness and the non-negligentness happens is not true.
sent1: the fact that the nonprehensileness does not occur hold. sent2: the fact that both the scourge and the slip happens is not right if the leaning withholder does not occur. sent3: if that the plantarness but not the ringer happens is false the inducting does not occur. sent4: that both the disjunctness and the radioness happens leads to that the mouthing does not occur. sent5: that the radio happens but the mouthing does not occur is not correct if the argument does not occur. sent6: if the skedaddling does not occur then the impermeableness happens or the consequence does not occur or both. sent7: the fact that the plantarness but not the ringer occurs is false. sent8: if either the mouth does not occur or the argument does not occur or both the fact that the slip occurs is right. sent9: the negligentness does not occur. sent10: the scourging occurs if the slipping happens. sent11: if the radioing does not occur then that the fact that both the non-disjunctness and the non-negligentness happens is wrong is not wrong. sent12: if the inducting does not occur then the neuralgicness and the northness happens. sent13: the radio happens. sent14: if the neuralgicness happens the repoting Terpsichore does not occur and the skedaddle does not occur. sent15: if the yeastiness does not occur that both the repoting isomerism and the non-unreadiness happens does not hold. sent16: the fact that the unreadiness and the scourging occurs is not correct. sent17: the scourge does not occur if that both the unreadiness and the scourge occurs is not correct.
void -> assump1: Let's assume that the disjunctness happens.; assump1 & sent13 -> int1: the disjunctness happens and the radioing occurs.; int1 & sent4 -> int2: the mouth does not occur.; int2 -> int3: either the mouth does not occur or the argument does not occur or both.; int3 & sent8 -> int4: the slipping happens.; int4 & sent10 -> int5: the scourge occurs.; sent17 & sent16 -> int6: the scourge does not occur.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the disjunctness does not occur is not incorrect.; int8 & sent9 -> hypothesis;
that the non-disjunctness and the non-negligentness occurs is false.
sent3 & sent7 -> int9: the inducting does not occur.; sent12 & int9 -> int10: both the neuralgicness and the north occurs.; int10 -> int11: the fact that the neuralgicness happens hold.; sent14 & int11 -> int12: the repoting Terpsichore does not occur and the skedaddle does not occur.; int12 -> int13: the skedaddling does not occur.; sent6 & int13 -> int14: the impermeableness occurs and/or the consequence does not occur.;
$hypothesis$ = that the non-disjunctness and the non-negligentness happens is not true. ; $context$ = sent1: the fact that the nonprehensileness does not occur hold. sent2: the fact that both the scourge and the slip happens is not right if the leaning withholder does not occur. sent3: if that the plantarness but not the ringer happens is false the inducting does not occur. sent4: that both the disjunctness and the radioness happens leads to that the mouthing does not occur. sent5: that the radio happens but the mouthing does not occur is not correct if the argument does not occur. sent6: if the skedaddling does not occur then the impermeableness happens or the consequence does not occur or both. sent7: the fact that the plantarness but not the ringer occurs is false. sent8: if either the mouth does not occur or the argument does not occur or both the fact that the slip occurs is right. sent9: the negligentness does not occur. sent10: the scourging occurs if the slipping happens. sent11: if the radioing does not occur then that the fact that both the non-disjunctness and the non-negligentness happens is wrong is not wrong. sent12: if the inducting does not occur then the neuralgicness and the northness happens. sent13: the radio happens. sent14: if the neuralgicness happens the repoting Terpsichore does not occur and the skedaddle does not occur. sent15: if the yeastiness does not occur that both the repoting isomerism and the non-unreadiness happens does not hold. sent16: the fact that the unreadiness and the scourging occurs is not correct. sent17: the scourge does not occur if that both the unreadiness and the scourge occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the disjunctness happens.; assump1 & sent13 -> int1: the disjunctness happens and the radioing occurs.; int1 & sent4 -> int2: the mouth does not occur.; int2 -> int3: either the mouth does not occur or the argument does not occur or both.; int3 & sent8 -> int4: the slipping happens.; int4 & sent10 -> int5: the scourge occurs.; sent17 & sent16 -> int6: the scourge does not occur.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the disjunctness does not occur is not incorrect.; int8 & sent9 -> hypothesis; __DISPROVED__