that the anoxicness occurs yields that the exploratoriness does not occur.
sent1: if the sampling binder happens the fact that the mistake occurs and the greening does not occur is incorrect. sent2: that the exalting nitrogen but not the cohesion occurs does not hold if the exploratoriness occurs. sent3: that the watch happens but the intrasententialness does not occur is false. sent4: the standing happens. sent5: the lower does not occur. sent6: the terpsichoreanness does not occur. sent7: the fact that the skanking and the non-bumpiness occurs is incorrect if the watch occurs. sent8: if the fact that the exalting nitrogen occurs and the cohesion does not occur is wrong the anoxicness does not occur. sent9: that the exalting roundup occurs is not false. sent10: the swamping goosander happens. sent11: the perceiving alterability happens. sent12: if the exploratoriness occurs then the fact that the exalting nitrogen occurs and the cohesion happens is not true. sent13: if that the tiring happens but the swamping provider does not occur is not true then the undrinkableness does not occur. sent14: if the consequence occurs the habituating does not occur. sent15: the monetization does not occur if the date occurs. sent16: if the unreliableness occurs the treating does not occur. sent17: if that the exalting nitrogen but not the cohesion happens is not correct the anoxicness happens. sent18: the miscarriage occurs.
void -> assump1: Let's assume that the anoxicness happens.; void -> assump2: Let's assume that the exploratoriness occurs.; sent2 & assump2 -> int1: that the exalting nitrogen but not the cohesion happens is not correct.; sent8 & int1 -> int2: the fact that the anoxicness does not occur is not wrong.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the exploratoriness does not occur is correct.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the anoxicness occurs yields that the exploratoriness does not occur. ; $context$ = sent1: if the sampling binder happens the fact that the mistake occurs and the greening does not occur is incorrect. sent2: that the exalting nitrogen but not the cohesion occurs does not hold if the exploratoriness occurs. sent3: that the watch happens but the intrasententialness does not occur is false. sent4: the standing happens. sent5: the lower does not occur. sent6: the terpsichoreanness does not occur. sent7: the fact that the skanking and the non-bumpiness occurs is incorrect if the watch occurs. sent8: if the fact that the exalting nitrogen occurs and the cohesion does not occur is wrong the anoxicness does not occur. sent9: that the exalting roundup occurs is not false. sent10: the swamping goosander happens. sent11: the perceiving alterability happens. sent12: if the exploratoriness occurs then the fact that the exalting nitrogen occurs and the cohesion happens is not true. sent13: if that the tiring happens but the swamping provider does not occur is not true then the undrinkableness does not occur. sent14: if the consequence occurs the habituating does not occur. sent15: the monetization does not occur if the date occurs. sent16: if the unreliableness occurs the treating does not occur. sent17: if that the exalting nitrogen but not the cohesion happens is not correct the anoxicness happens. sent18: the miscarriage occurs. ; $proof$ = 
void -> assump1: Let's assume that the anoxicness happens.; void -> assump2: Let's assume that the exploratoriness occurs.; sent2 & assump2 -> int1: that the exalting nitrogen but not the cohesion happens is not correct.; sent8 & int1 -> int2: the fact that the anoxicness does not occur is not wrong.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the exploratoriness does not occur is correct.; [assump1] & int4 -> hypothesis; __PROVED__