the bordering going does not occur and the unscholarliness does not occur.
sent1: if the fact that the idiomaticness happens and/or the roboticsness occurs is incorrect then the bordering going does not occur. sent2: the fact that the bloating and/or the quadrupedalness happens does not hold if the suction does not occur. sent3: that the detraining viper does not occur leads to the non-idiomaticness. sent4: both the non-respiratoriness and the foraging mold occurs. sent5: the idiomaticness does not occur. sent6: the discipline occurs. sent7: the gastroesophagealness does not occur if the disciplining happens. sent8: that the idiomaticness happens and/or the roboticsness happens is wrong if the detraining viper does not occur. sent9: the incubation happens. sent10: the foraging anole does not occur and the wiggle does not occur if the foraging anti occurs. sent11: the quantalness but not the unscholarliness occurs if the foraging anole does not occur. sent12: the quantalness happens if the foraging anole does not occur. sent13: the wiggle does not occur. sent14: the foraging anti occurs. sent15: if the subjugation does not occur the detraining viper does not occur and the incubation occurs. sent16: the muster does not occur. sent17: that the gastroesophagealness does not occur and the Land occurs is caused by the disciplining. sent18: the fact that the fact that the non-gastroesophagealness and the Land happens is not correct if that the subjugation occurs hold hold. sent19: that both the gastroesophagealness and the Land occurs is not right. sent20: that both the gastroesophagealness and the Land occurs does not hold if the subjugation occurs.
void -> assump1: Let's assume that the subjugation occurs.; sent18 & assump1 -> int1: the fact that not the gastroesophagealness but the Land happens is not right.; sent17 & sent6 -> int2: that the non-gastroesophagealness and the Land occurs is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subjugation does not occur.; int4 & sent15 -> int5: not the detraining viper but the incubation happens.; int5 -> int6: the detraining viper does not occur.; int6 & sent8 -> int7: the fact that either the idiomaticness or the roboticsness or both happens does not hold.; int7 & sent1 -> int8: the bordering going does not occur.; sent10 & sent14 -> int9: the foraging anole does not occur and the wiggle does not occur.; int9 -> int10: the foraging anole does not occur.; sent11 & int10 -> int11: the quantalness but not the unscholarliness occurs.; int11 -> int12: the unscholarliness does not occur.; int8 & int12 -> hypothesis;
that the bordering going does not occur and the unscholarliness does not occur is not correct.
 -> hypothesis;
$hypothesis$ = the bordering going does not occur and the unscholarliness does not occur. ; $context$ = sent1: if the fact that the idiomaticness happens and/or the roboticsness occurs is incorrect then the bordering going does not occur. sent2: the fact that the bloating and/or the quadrupedalness happens does not hold if the suction does not occur. sent3: that the detraining viper does not occur leads to the non-idiomaticness. sent4: both the non-respiratoriness and the foraging mold occurs. sent5: the idiomaticness does not occur. sent6: the discipline occurs. sent7: the gastroesophagealness does not occur if the disciplining happens. sent8: that the idiomaticness happens and/or the roboticsness happens is wrong if the detraining viper does not occur. sent9: the incubation happens. sent10: the foraging anole does not occur and the wiggle does not occur if the foraging anti occurs. sent11: the quantalness but not the unscholarliness occurs if the foraging anole does not occur. sent12: the quantalness happens if the foraging anole does not occur. sent13: the wiggle does not occur. sent14: the foraging anti occurs. sent15: if the subjugation does not occur the detraining viper does not occur and the incubation occurs. sent16: the muster does not occur. sent17: that the gastroesophagealness does not occur and the Land occurs is caused by the disciplining. sent18: the fact that the fact that the non-gastroesophagealness and the Land happens is not correct if that the subjugation occurs hold hold. sent19: that both the gastroesophagealness and the Land occurs is not right. sent20: that both the gastroesophagealness and the Land occurs does not hold if the subjugation occurs. ; $proof$ = 
void -> assump1: Let's assume that the subjugation occurs.; sent18 & assump1 -> int1: the fact that not the gastroesophagealness but the Land happens is not right.; sent17 & sent6 -> int2: that the non-gastroesophagealness and the Land occurs is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subjugation does not occur.; int4 & sent15 -> int5: not the detraining viper but the incubation happens.; int5 -> int6: the detraining viper does not occur.; int6 & sent8 -> int7: the fact that either the idiomaticness or the roboticsness or both happens does not hold.; int7 & sent1 -> int8: the bordering going does not occur.; sent10 & sent14 -> int9: the foraging anole does not occur and the wiggle does not occur.; int9 -> int10: the foraging anole does not occur.; sent11 & int10 -> int11: the quantalness but not the unscholarliness occurs.; int11 -> int12: the unscholarliness does not occur.; int8 & int12 -> hypothesis; __PROVED__