that the admixture happens but the south does not occur is incorrect.
sent1: the decanting does not occur. sent2: that the arundinaceousness occurs is true. sent3: the credulousness occurs. sent4: that the emanation but not the cannoning happens is not right. sent5: the jacketing silique is brought about by that the ignoring wiggliness occurs but the jacketing vice does not occur. sent6: both the oophorectomy and the non-bronchoscopicness happens. sent7: that the deflowering attestation occurs but the jerking does not occur does not hold. sent8: the informativeness happens and the palatalizing mast does not occur. sent9: that the jacketing brushwork but not the ignoring anionic happens is not true. sent10: the jacketing quilted occurs. sent11: the gum does not occur. sent12: the affairs does not occur. sent13: if the arundinaceousness but not the isthmianness happens the decanting happens. sent14: the thermotherapy does not occur if the fact that the decanting happens and the south happens is wrong. sent15: the admixture does not occur if the sou'wester occurs. sent16: the expensing happens. sent17: if the arundinaceousness does not occur then the southness does not occur. sent18: the fact that the decanting occurs and the southness occurs does not hold if the admixture does not occur. sent19: the fact that the sojourn happens but the palatalizing bone does not occur hold. sent20: the admixture happens. sent21: the jacketing drift happens. sent22: if that the arundinaceousness but not the isthmianness happens is false then the southness does not occur.
void -> assump1: Let's assume that the arundinaceousness but not the isthmianness happens.; sent13 & assump1 -> int1: the fact that the decanting happens hold.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the arundinaceousness and the non-isthmianness happens is not true.; int3 & sent22 -> int4: the south does not occur.; int4 & sent20 -> hypothesis;
the thermotherapy does not occur.
$hypothesis$ = that the admixture happens but the south does not occur is incorrect. ; $context$ = sent1: the decanting does not occur. sent2: that the arundinaceousness occurs is true. sent3: the credulousness occurs. sent4: that the emanation but not the cannoning happens is not right. sent5: the jacketing silique is brought about by that the ignoring wiggliness occurs but the jacketing vice does not occur. sent6: both the oophorectomy and the non-bronchoscopicness happens. sent7: that the deflowering attestation occurs but the jerking does not occur does not hold. sent8: the informativeness happens and the palatalizing mast does not occur. sent9: that the jacketing brushwork but not the ignoring anionic happens is not true. sent10: the jacketing quilted occurs. sent11: the gum does not occur. sent12: the affairs does not occur. sent13: if the arundinaceousness but not the isthmianness happens the decanting happens. sent14: the thermotherapy does not occur if the fact that the decanting happens and the south happens is wrong. sent15: the admixture does not occur if the sou'wester occurs. sent16: the expensing happens. sent17: if the arundinaceousness does not occur then the southness does not occur. sent18: the fact that the decanting occurs and the southness occurs does not hold if the admixture does not occur. sent19: the fact that the sojourn happens but the palatalizing bone does not occur hold. sent20: the admixture happens. sent21: the jacketing drift happens. sent22: if that the arundinaceousness but not the isthmianness happens is false then the southness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the arundinaceousness but not the isthmianness happens.; sent13 & assump1 -> int1: the fact that the decanting happens hold.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that both the arundinaceousness and the non-isthmianness happens is not true.; int3 & sent22 -> int4: the south does not occur.; int4 & sent20 -> hypothesis; __DISPROVED__