that if the turnover occurs the Exodus occurs is not true.
sent1: the tuition occurs if the intramolecularness occurs. sent2: that the Exodus does not occur results in that the calycealness does not occur. sent3: the calycealness does not occur. sent4: if not the librarianship but the presiding occurs the redirecting Kaaba occurs. sent5: the place happens. sent6: the vitrioling muskellunge does not occur. sent7: that the redirecting bolt happens is caused by that the consequence does not occur. sent8: the flashover does not occur but the awareness happens. sent9: the cationicness happens. sent10: the Turkishness does not occur. sent11: if the Exodus does not occur the calycealness does not occur and the conjunction happens. sent12: if not the literariness but the astrocyticness happens the abdominalness does not occur. sent13: the paring brings about the amygdalineness. sent14: the calycealness does not occur and the conjunction occurs if the Exodus happens. sent15: that the turnover does not occur is triggered by that both the calycealness and the conjunction occurs. sent16: the turnover is prevented by that the non-calycealness and the conjunction occurs. sent17: the revolving occurs. sent18: that the nationalization does not occur leads to that the anodicness occurs.
void -> assump2: Let's assume that the turnover occurs.; void -> assump1: Let's assume that the fact that the Exodus does not occur is not incorrect.; sent11 & assump1 -> int1: both the non-calycealness and the conjunction happens.; sent16 & int1 -> int2: the turnover does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Exodus happens hold.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that if the turnover occurs the Exodus occurs is not true. ; $context$ = sent1: the tuition occurs if the intramolecularness occurs. sent2: that the Exodus does not occur results in that the calycealness does not occur. sent3: the calycealness does not occur. sent4: if not the librarianship but the presiding occurs the redirecting Kaaba occurs. sent5: the place happens. sent6: the vitrioling muskellunge does not occur. sent7: that the redirecting bolt happens is caused by that the consequence does not occur. sent8: the flashover does not occur but the awareness happens. sent9: the cationicness happens. sent10: the Turkishness does not occur. sent11: if the Exodus does not occur the calycealness does not occur and the conjunction happens. sent12: if not the literariness but the astrocyticness happens the abdominalness does not occur. sent13: the paring brings about the amygdalineness. sent14: the calycealness does not occur and the conjunction occurs if the Exodus happens. sent15: that the turnover does not occur is triggered by that both the calycealness and the conjunction occurs. sent16: the turnover is prevented by that the non-calycealness and the conjunction occurs. sent17: the revolving occurs. sent18: that the nationalization does not occur leads to that the anodicness occurs. ; $proof$ = 
void -> assump2: Let's assume that the turnover occurs.; void -> assump1: Let's assume that the fact that the Exodus does not occur is not incorrect.; sent11 & assump1 -> int1: both the non-calycealness and the conjunction happens.; sent16 & int1 -> int2: the turnover does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Exodus happens hold.; [assump2] & int4 -> hypothesis; __DISPROVED__