if the midterm happens the fact that the enhancing does not occur and the beetling does not occur is not correct.
sent1: the digitalization does not occur if the fact that the landscaping does not occur or the heedlessness does not occur or both does not hold. sent2: if the fact that either the landscaping does not occur or the heedlessness happens or both is not true then the digitalization does not occur. sent3: if the imbuing occurs then the fact that the augury does not occur and the algolagnicness does not occur does not hold. sent4: the archangelicness occurs. sent5: the fact that the enhancing does not occur and the beetling happens does not hold if the midterm occurs. sent6: the heedlessness happens. sent7: both the archangelicness and the pinking hypophysectomy happens if the digitalization does not occur. sent8: that the landscaping does not occur and/or the heedlessness does not occur is not right. sent9: that the pinking hypophysectomy does not occur is brought about by that the midterm and the hypertrophy happens. sent10: if the acquisition occurs the hypertrophying happens. sent11: that the midterm happens causes that the enhancing does not occur and the beetle does not occur. sent12: that the enhancing does not occur but the beetling occurs is wrong if the acquisition does not occur. sent13: if the acquisition does not occur that that the enhancing does not occur and the beetling does not occur is false is correct.
void -> assump1: Let's assume that the acquisition occurs.; sent10 & assump1 -> int1: the hypertrophying occurs.; void -> assump2: Let's assume that that the midterm occurs is not false.; int1 & assump2 -> int2: the midterm happens and the hypertrophying occurs.; int2 & sent9 -> int3: the fact that the pinking hypophysectomy does not occur is not false.; sent1 & sent8 -> int4: the digitalization does not occur.; sent7 & int4 -> int5: the archangelicness and the pinking hypophysectomy occurs.; int5 -> int6: the pinking hypophysectomy occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the acquisition does not occur.; int8 & sent13 -> int9: that the enhancing does not occur and the beetle does not occur does not hold.; [assump2] & int9 -> hypothesis;
$hypothesis$ = if the midterm happens the fact that the enhancing does not occur and the beetling does not occur is not correct. ; $context$ = sent1: the digitalization does not occur if the fact that the landscaping does not occur or the heedlessness does not occur or both does not hold. sent2: if the fact that either the landscaping does not occur or the heedlessness happens or both is not true then the digitalization does not occur. sent3: if the imbuing occurs then the fact that the augury does not occur and the algolagnicness does not occur does not hold. sent4: the archangelicness occurs. sent5: the fact that the enhancing does not occur and the beetling happens does not hold if the midterm occurs. sent6: the heedlessness happens. sent7: both the archangelicness and the pinking hypophysectomy happens if the digitalization does not occur. sent8: that the landscaping does not occur and/or the heedlessness does not occur is not right. sent9: that the pinking hypophysectomy does not occur is brought about by that the midterm and the hypertrophy happens. sent10: if the acquisition occurs the hypertrophying happens. sent11: that the midterm happens causes that the enhancing does not occur and the beetle does not occur. sent12: that the enhancing does not occur but the beetling occurs is wrong if the acquisition does not occur. sent13: if the acquisition does not occur that that the enhancing does not occur and the beetling does not occur is false is correct. ; $proof$ = 
void -> assump1: Let's assume that the acquisition occurs.; sent10 & assump1 -> int1: the hypertrophying occurs.; void -> assump2: Let's assume that that the midterm occurs is not false.; int1 & assump2 -> int2: the midterm happens and the hypertrophying occurs.; int2 & sent9 -> int3: the fact that the pinking hypophysectomy does not occur is not false.; sent1 & sent8 -> int4: the digitalization does not occur.; sent7 & int4 -> int5: the archangelicness and the pinking hypophysectomy occurs.; int5 -> int6: the pinking hypophysectomy occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the acquisition does not occur.; int8 & sent13 -> int9: that the enhancing does not occur and the beetle does not occur does not hold.; [assump2] & int9 -> hypothesis; __PROVED__