the resurvey does not occur.
sent1: if the net happens the consolidation does not occur. sent2: if the drinking does not occur the dimming alkalinity does not occur or the adjusting occurs or both. sent3: the dating occurs but the suspension does not occur. sent4: the fact that the dimming alkalinity occurs and/or the adjusting happens hold. sent5: that the costalness but not the netness occurs brings about that the drinking does not occur. sent6: that both the costalness and the netness happens is not correct. sent7: that not the whammy but the flip occurs prevents that the resurvey does not occur. sent8: the whammy does not occur if the dimming alkalinity does not occur or the adjusting occurs or both. sent9: both the war and the non-perinatalness happens. sent10: if the fact that the costalness but not the netting occurs is wrong then the consolidation does not occur. sent11: the perinatalness does not occur. sent12: that the war occurs but the perinatalness does not occur prevents that the consolidation does not occur. sent13: either the dimming alkalinity or the adjusting or both happens if the drinking does not occur. sent14: the flipping happens.
void -> assump1: Let's assume that the fact that the costalness and the non-netness occurs does not hold.; sent10 & assump1 -> int1: the consolidation does not occur.; sent12 & sent9 -> int2: the consolidation happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the costalness happens but the net does not occur.; int4 & sent5 -> int5: the drinking does not occur.; int5 & sent2 -> int6: the dimming alkalinity does not occur or the adjusting occurs or both.; int6 & sent8 -> int7: that the whammy does not occur is not wrong.; int7 & sent14 -> int8: not the whammy but the flip happens.; int8 & sent7 -> hypothesis;
$hypothesis$ = the resurvey does not occur. ; $context$ = sent1: if the net happens the consolidation does not occur. sent2: if the drinking does not occur the dimming alkalinity does not occur or the adjusting occurs or both. sent3: the dating occurs but the suspension does not occur. sent4: the fact that the dimming alkalinity occurs and/or the adjusting happens hold. sent5: that the costalness but not the netness occurs brings about that the drinking does not occur. sent6: that both the costalness and the netness happens is not correct. sent7: that not the whammy but the flip occurs prevents that the resurvey does not occur. sent8: the whammy does not occur if the dimming alkalinity does not occur or the adjusting occurs or both. sent9: both the war and the non-perinatalness happens. sent10: if the fact that the costalness but not the netting occurs is wrong then the consolidation does not occur. sent11: the perinatalness does not occur. sent12: that the war occurs but the perinatalness does not occur prevents that the consolidation does not occur. sent13: either the dimming alkalinity or the adjusting or both happens if the drinking does not occur. sent14: the flipping happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the costalness and the non-netness occurs does not hold.; sent10 & assump1 -> int1: the consolidation does not occur.; sent12 & sent9 -> int2: the consolidation happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the costalness happens but the net does not occur.; int4 & sent5 -> int5: the drinking does not occur.; int5 & sent2 -> int6: the dimming alkalinity does not occur or the adjusting occurs or both.; int6 & sent8 -> int7: that the whammy does not occur is not wrong.; int7 & sent14 -> int8: not the whammy but the flip happens.; int8 & sent7 -> hypothesis; __DISPROVED__