the insurrectionalness does not occur and the undervaluing does not occur.
sent1: if the compoundness and/or the bonneting roadworthiness occurs then the scapularness does not occur. sent2: if the repeat happens and/or the salableness occurs the serendipity does not occur. sent3: if the fact that the salableness does not occur is true the insurrectionalness does not occur and the undervaluing does not occur. sent4: if the fact that the clearing Roberts occurs and the shallowing happens is not correct that the viscometry does not occur is not wrong. sent5: if the bonneting louvar occurs then that the serendipity happens hold. sent6: if the viscometry does not occur then the hemodynamicness does not occur and the dehiscentness does not occur. sent7: the hardship does not occur. sent8: the undervaluing does not occur. sent9: the allopathy does not occur if the lamb does not occur and the bonneting louvar does not occur. sent10: the allopathy and/or the bonneting louvar occurs. sent11: if the fact that both the control and the oration happens is incorrect then the fact that the control does not occur is not incorrect. sent12: that the repeat does not occur is brought about by that the serendipity does not occur and the salableness does not occur. sent13: that the non-hemodynamicness and the indehiscentness occurs triggers that the undesirableness does not occur. sent14: the lamb does not occur and the bonneting louvar does not occur if the profoundness does not occur. sent15: the serendipity does not occur if the repeat occurs. sent16: the allopathy yields that the serendipity occurs. sent17: that the profoundness does not occur and the greasing hypersecretion does not occur is brought about by that the cardiopulmonariness does not occur. sent18: if the undesirableness does not occur that both the control and the oration occurs is not correct. sent19: if the controlling does not occur the cardiopulmonariness does not occur and the nonparticulateness does not occur.
void -> assump1: Let's assume that the salableness occurs.; assump1 -> int1: the repeat and/or the salableness happens.; int1 & sent2 -> int2: the serendipity does not occur.; sent10 & sent16 & sent5 -> int3: the serendipity occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the salableness does not occur.; int5 & sent3 -> hypothesis;
that the insurrectionalness does not occur and the undervaluing does not occur does not hold.
$hypothesis$ = the insurrectionalness does not occur and the undervaluing does not occur. ; $context$ = sent1: if the compoundness and/or the bonneting roadworthiness occurs then the scapularness does not occur. sent2: if the repeat happens and/or the salableness occurs the serendipity does not occur. sent3: if the fact that the salableness does not occur is true the insurrectionalness does not occur and the undervaluing does not occur. sent4: if the fact that the clearing Roberts occurs and the shallowing happens is not correct that the viscometry does not occur is not wrong. sent5: if the bonneting louvar occurs then that the serendipity happens hold. sent6: if the viscometry does not occur then the hemodynamicness does not occur and the dehiscentness does not occur. sent7: the hardship does not occur. sent8: the undervaluing does not occur. sent9: the allopathy does not occur if the lamb does not occur and the bonneting louvar does not occur. sent10: the allopathy and/or the bonneting louvar occurs. sent11: if the fact that both the control and the oration happens is incorrect then the fact that the control does not occur is not incorrect. sent12: that the repeat does not occur is brought about by that the serendipity does not occur and the salableness does not occur. sent13: that the non-hemodynamicness and the indehiscentness occurs triggers that the undesirableness does not occur. sent14: the lamb does not occur and the bonneting louvar does not occur if the profoundness does not occur. sent15: the serendipity does not occur if the repeat occurs. sent16: the allopathy yields that the serendipity occurs. sent17: that the profoundness does not occur and the greasing hypersecretion does not occur is brought about by that the cardiopulmonariness does not occur. sent18: if the undesirableness does not occur that both the control and the oration occurs is not correct. sent19: if the controlling does not occur the cardiopulmonariness does not occur and the nonparticulateness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the salableness occurs.; assump1 -> int1: the repeat and/or the salableness happens.; int1 & sent2 -> int2: the serendipity does not occur.; sent10 & sent16 & sent5 -> int3: the serendipity occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the salableness does not occur.; int5 & sent3 -> hypothesis; __PROVED__