the obligatedness occurs.
sent1: if the fact that the vegetalness does not occur and the sitting does not occur is wrong then the multiplying intro does not occur. sent2: if the fan does not occur the fact that the filing occurs and the convergentness happens is wrong. sent3: that the filing but not the fanning happens is false if the convergentness does not occur. sent4: if the fact that not the asking Oniscus but the bust-up occurs is wrong the bust-up does not occur. sent5: if the lieutenancy does not occur the fact that both the anatomicness and the algometry happens is not true. sent6: the fact that the fact that the vegetalness does not occur and the sitting does not occur is not right if the copout does not occur is not false. sent7: the sitting does not occur if the evangelisticness but not the overburden happens. sent8: if the pervaporation does not occur that that the asking Oniscus does not occur and the bust-up occurs does not hold is not false. sent9: if the typographicness does not occur and the undulation happens the lieutenancy does not occur. sent10: if that the convergentness occurs does not hold the fanning occurs and the file happens. sent11: if the copout and the vegetalness occurs the fanning does not occur. sent12: that the lieutenancy does not occur leads to that both the anatomicness and the algometry occurs. sent13: that the undulation happens brings about that the lieutenancy does not occur and the typographicness does not occur. sent14: if the fact that the file and the convergentness happens is false that the obligatedness does not occur is not false. sent15: if the fact that the copout does not occur is true then that the vegetalness but not the sitting occurs does not hold. sent16: the convergentness does not occur if the fact that both the anatomicness and the algometry occurs does not hold. sent17: the sitting occurs. sent18: that the copout happens is true. sent19: if the bust-up does not occur then the typographicness does not occur and the undulation happens. sent20: the evangelisticness happens but the overburdening does not occur if the fact that the vegetalness does not occur is not false.
void -> assump1: Let's assume that the vegetalness does not occur.; sent20 & assump1 -> int1: the evangelisticness occurs but the overburden does not occur.; int1 & sent7 -> int2: the sitting does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vegetalness occurs.; int4 & sent18 -> int5: the copout and the vegetalness happens.; int5 & sent11 -> int6: the fanning does not occur.; int6 & sent2 -> int7: the fact that both the file and the convergentness occurs is false.; int7 & sent14 -> hypothesis;
the multiplying intro does not occur.
$hypothesis$ = the obligatedness occurs. ; $context$ = sent1: if the fact that the vegetalness does not occur and the sitting does not occur is wrong then the multiplying intro does not occur. sent2: if the fan does not occur the fact that the filing occurs and the convergentness happens is wrong. sent3: that the filing but not the fanning happens is false if the convergentness does not occur. sent4: if the fact that not the asking Oniscus but the bust-up occurs is wrong the bust-up does not occur. sent5: if the lieutenancy does not occur the fact that both the anatomicness and the algometry happens is not true. sent6: the fact that the fact that the vegetalness does not occur and the sitting does not occur is not right if the copout does not occur is not false. sent7: the sitting does not occur if the evangelisticness but not the overburden happens. sent8: if the pervaporation does not occur that that the asking Oniscus does not occur and the bust-up occurs does not hold is not false. sent9: if the typographicness does not occur and the undulation happens the lieutenancy does not occur. sent10: if that the convergentness occurs does not hold the fanning occurs and the file happens. sent11: if the copout and the vegetalness occurs the fanning does not occur. sent12: that the lieutenancy does not occur leads to that both the anatomicness and the algometry occurs. sent13: that the undulation happens brings about that the lieutenancy does not occur and the typographicness does not occur. sent14: if the fact that the file and the convergentness happens is false that the obligatedness does not occur is not false. sent15: if the fact that the copout does not occur is true then that the vegetalness but not the sitting occurs does not hold. sent16: the convergentness does not occur if the fact that both the anatomicness and the algometry occurs does not hold. sent17: the sitting occurs. sent18: that the copout happens is true. sent19: if the bust-up does not occur then the typographicness does not occur and the undulation happens. sent20: the evangelisticness happens but the overburdening does not occur if the fact that the vegetalness does not occur is not false. ; $proof$ = 
void -> assump1: Let's assume that the vegetalness does not occur.; sent20 & assump1 -> int1: the evangelisticness occurs but the overburden does not occur.; int1 & sent7 -> int2: the sitting does not occur.; int2 & sent17 -> int3: this is contradiction.; [assump1] & int3 -> int4: the vegetalness occurs.; int4 & sent18 -> int5: the copout and the vegetalness happens.; int5 & sent11 -> int6: the fanning does not occur.; int6 & sent2 -> int7: the fact that both the file and the convergentness occurs is false.; int7 & sent14 -> hypothesis; __DISPROVED__