the settlement does not occur and the zoicness does not occur.
sent1: the airdrop does not occur if the alarness occurs. sent2: the luck occurs. sent3: if the salivariness occurs then the yearning occurs. sent4: if the substantivalness occurs then the yearning does not occur. sent5: if the banning fete does not occur not the suborning bargain but the substantivalness occurs. sent6: that the suborning infestation does not occur yields that both the non-Draconianness and the northwester happens. sent7: the fact that not the adoration but the Draconianness happens is wrong. sent8: the lobbing Stowe does not occur but the supplying happens if the banning resonator does not occur. sent9: that the yearning does not occur is prevented by that the banning Yeniseian happens. sent10: that the Hmongness does not occur and the circularizing does not occur triggers that the tradeoff does not occur. sent11: if the settlement does not occur and the zoicness does not occur then the banning fete does not occur. sent12: the salivariness and/or the banning Yeniseian happens. sent13: not the adoration but the spiritualisticness happens. sent14: the maleficentness does not occur if the subsurfaceness happens. sent15: that that the oralness does not occur and the syndeticness does not occur is correct is not correct.
void -> assump1: Let's assume that the settlement does not occur and the zoicness does not occur.; sent11 & assump1 -> int1: that the banning fete does not occur is right.; int1 & sent5 -> int2: the suborning bargain does not occur but the substantivalness occurs.; int2 -> int3: the fact that the substantivalness occurs hold.; int3 & sent4 -> int4: the yearning does not occur.; sent12 & sent3 & sent9 -> int5: the yearning happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the settlement does not occur and the zoicness does not occur. ; $context$ = sent1: the airdrop does not occur if the alarness occurs. sent2: the luck occurs. sent3: if the salivariness occurs then the yearning occurs. sent4: if the substantivalness occurs then the yearning does not occur. sent5: if the banning fete does not occur not the suborning bargain but the substantivalness occurs. sent6: that the suborning infestation does not occur yields that both the non-Draconianness and the northwester happens. sent7: the fact that not the adoration but the Draconianness happens is wrong. sent8: the lobbing Stowe does not occur but the supplying happens if the banning resonator does not occur. sent9: that the yearning does not occur is prevented by that the banning Yeniseian happens. sent10: that the Hmongness does not occur and the circularizing does not occur triggers that the tradeoff does not occur. sent11: if the settlement does not occur and the zoicness does not occur then the banning fete does not occur. sent12: the salivariness and/or the banning Yeniseian happens. sent13: not the adoration but the spiritualisticness happens. sent14: the maleficentness does not occur if the subsurfaceness happens. sent15: that that the oralness does not occur and the syndeticness does not occur is correct is not correct. ; $proof$ = 
void -> assump1: Let's assume that the settlement does not occur and the zoicness does not occur.; sent11 & assump1 -> int1: that the banning fete does not occur is right.; int1 & sent5 -> int2: the suborning bargain does not occur but the substantivalness occurs.; int2 -> int3: the fact that the substantivalness occurs hold.; int3 & sent4 -> int4: the yearning does not occur.; sent12 & sent3 & sent9 -> int5: the yearning happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__