the affixalness triggers the runoff.
sent1: the internalness happens. sent2: the marauding does not occur. sent3: that the marauding does not occur but the attractiveness happens is brought about by the enclosure. sent4: the depressing happens. sent5: that the avionicsness occurs brings about that the ape does not occur and the bankrupting sandgrouse occurs. sent6: the stunting metheglin does not occur. sent7: the nervousness happens. sent8: the unsealing Eris does not occur if the enclosure does not occur but the affixalness occurs. sent9: the anosmicness does not occur. sent10: if not the anachronism but the rap occurs then the kindling does not occur. sent11: the fact that not the marauding but the attractiveness occurs is incorrect if the laminectomy occurs. sent12: the laminectomy occurs. sent13: the entrancing happens. sent14: the handing does not occur. sent15: the fact that both the bankrupting anthill and the stunting Dacelo happens does not hold. sent16: if the unsealing Eris does not occur both the runoff and the entrancing occurs. sent17: if the affixalness does not occur the smasher occurs and the enclosure occurs.
void -> assump1: Let's assume that the enclosure happens.; sent3 & assump1 -> int1: the marauding does not occur but the attractiveness occurs.; sent11 & sent12 -> int2: the fact that the marauding does not occur and the attractiveness happens is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the enclosure does not occur.; void -> assump2: Let's assume that the affixalness occurs.; int4 & assump2 -> int5: not the enclosure but the affixalness happens.; int5 & sent8 -> int6: the unsealing Eris does not occur.; int6 & sent16 -> int7: the runoff and the entrance happens.; int7 -> int8: the runoff happens.; [assump2] & int8 -> hypothesis;
the smasher occurs.
$hypothesis$ = the affixalness triggers the runoff. ; $context$ = sent1: the internalness happens. sent2: the marauding does not occur. sent3: that the marauding does not occur but the attractiveness happens is brought about by the enclosure. sent4: the depressing happens. sent5: that the avionicsness occurs brings about that the ape does not occur and the bankrupting sandgrouse occurs. sent6: the stunting metheglin does not occur. sent7: the nervousness happens. sent8: the unsealing Eris does not occur if the enclosure does not occur but the affixalness occurs. sent9: the anosmicness does not occur. sent10: if not the anachronism but the rap occurs then the kindling does not occur. sent11: the fact that not the marauding but the attractiveness occurs is incorrect if the laminectomy occurs. sent12: the laminectomy occurs. sent13: the entrancing happens. sent14: the handing does not occur. sent15: the fact that both the bankrupting anthill and the stunting Dacelo happens does not hold. sent16: if the unsealing Eris does not occur both the runoff and the entrancing occurs. sent17: if the affixalness does not occur the smasher occurs and the enclosure occurs. ; $proof$ = 
void -> assump1: Let's assume that the enclosure happens.; sent3 & assump1 -> int1: the marauding does not occur but the attractiveness occurs.; sent11 & sent12 -> int2: the fact that the marauding does not occur and the attractiveness happens is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the enclosure does not occur.; void -> assump2: Let's assume that the affixalness occurs.; int4 & assump2 -> int5: not the enclosure but the affixalness happens.; int5 & sent8 -> int6: the unsealing Eris does not occur.; int6 & sent16 -> int7: the runoff and the entrance happens.; int7 -> int8: the runoff happens.; [assump2] & int8 -> hypothesis; __PROVED__