the two-dimensionalness does not occur and the saprobicness does not occur.
sent1: that the bosom and the application occurs is not correct. sent2: the staggering precipitant does not occur. sent3: the barring plaintiveness occurs. sent4: the fact that the non-two-dimensionalness and the non-saprobicness occurs does not hold if the barring contrast occurs. sent5: the nonenzymaticness happens. sent6: that the extantness does not occur brings about that the saprobicness does not occur. sent7: the barring contrast does not occur if the fact that the soaring does not occur and the operableness does not occur is incorrect. sent8: the barring contrast does not occur if the soaring happens. sent9: the bosom does not occur if that the Echo does not occur and the batching scandalmonger does not occur is not right. sent10: if that the bosoming occurs and the application happens is not true then the extantness does not occur. sent11: the scrutiny does not occur if that the barring stable does not occur and the clothing does not occur is incorrect. sent12: if the soar happens but the operableness does not occur then that the barring plaintiveness does not occur is right. sent13: the fact that if the extantness occurs that the nonenzymaticness happens and the barring plaintiveness does not occur does not hold is true. sent14: the abort occurs. sent15: that the batching antilepton does not occur hold. sent16: the non-cross-sententialness is brought about by that the palatineness does not occur and the staggering allegory does not occur. sent17: if the soar does not occur and the operableness does not occur the fact that the barring plaintiveness does not occur is not incorrect. sent18: if the application does not occur the extantness does not occur. sent19: the non-azidoness and the non-palpatoriness happens. sent20: the extantness happens and the application happens if the bosoming does not occur. sent21: the fact that the Echo does not occur and the batching scandalmonger does not occur does not hold if the sentence happens. sent22: the fact that both the miscibleness and the tramping happens does not hold. sent23: that the mantle does not occur causes that the batching antilepton occurs and the sentencing happens. sent24: the two-dimensionalness does not occur if not the barring contrast but the nonenzymaticness occurs. sent25: that both the soar and the non-operableness happens does not hold. sent26: the cross-sententialness does not occur.
void -> assump1: Let's assume that that the soaring does not occur and the operableness does not occur is not false.; sent17 & assump1 -> int1: the barring plaintiveness does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the soaring does not occur and the operableness does not occur is not right.; int3 & sent7 -> int4: the barring contrast does not occur.; int4 & sent5 -> int5: not the barring contrast but the nonenzymaticness occurs.; int5 & sent24 -> int6: the two-dimensionalness does not occur.; sent10 & sent1 -> int7: the extantness does not occur.; sent6 & int7 -> int8: the saprobicness does not occur.; int6 & int8 -> hypothesis;
the fact that both the non-two-dimensionalness and the non-saprobicness happens is false.
$hypothesis$ = the two-dimensionalness does not occur and the saprobicness does not occur. ; $context$ = sent1: that the bosom and the application occurs is not correct. sent2: the staggering precipitant does not occur. sent3: the barring plaintiveness occurs. sent4: the fact that the non-two-dimensionalness and the non-saprobicness occurs does not hold if the barring contrast occurs. sent5: the nonenzymaticness happens. sent6: that the extantness does not occur brings about that the saprobicness does not occur. sent7: the barring contrast does not occur if the fact that the soaring does not occur and the operableness does not occur is incorrect. sent8: the barring contrast does not occur if the soaring happens. sent9: the bosom does not occur if that the Echo does not occur and the batching scandalmonger does not occur is not right. sent10: if that the bosoming occurs and the application happens is not true then the extantness does not occur. sent11: the scrutiny does not occur if that the barring stable does not occur and the clothing does not occur is incorrect. sent12: if the soar happens but the operableness does not occur then that the barring plaintiveness does not occur is right. sent13: the fact that if the extantness occurs that the nonenzymaticness happens and the barring plaintiveness does not occur does not hold is true. sent14: the abort occurs. sent15: that the batching antilepton does not occur hold. sent16: the non-cross-sententialness is brought about by that the palatineness does not occur and the staggering allegory does not occur. sent17: if the soar does not occur and the operableness does not occur the fact that the barring plaintiveness does not occur is not incorrect. sent18: if the application does not occur the extantness does not occur. sent19: the non-azidoness and the non-palpatoriness happens. sent20: the extantness happens and the application happens if the bosoming does not occur. sent21: the fact that the Echo does not occur and the batching scandalmonger does not occur does not hold if the sentence happens. sent22: the fact that both the miscibleness and the tramping happens does not hold. sent23: that the mantle does not occur causes that the batching antilepton occurs and the sentencing happens. sent24: the two-dimensionalness does not occur if not the barring contrast but the nonenzymaticness occurs. sent25: that both the soar and the non-operableness happens does not hold. sent26: the cross-sententialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the soaring does not occur and the operableness does not occur is not false.; sent17 & assump1 -> int1: the barring plaintiveness does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the soaring does not occur and the operableness does not occur is not right.; int3 & sent7 -> int4: the barring contrast does not occur.; int4 & sent5 -> int5: not the barring contrast but the nonenzymaticness occurs.; int5 & sent24 -> int6: the two-dimensionalness does not occur.; sent10 & sent1 -> int7: the extantness does not occur.; sent6 & int7 -> int8: the saprobicness does not occur.; int6 & int8 -> hypothesis; __PROVED__