if the violence does not occur and the dabbling does not occur then the insult does not occur.
sent1: that the Semiticness happens and the Kuroshio happens does not hold. sent2: the fact that both the unmaking ham and the defibrillating megaloblast happens is incorrect. sent3: the insult does not occur if the violence does not occur and the dabbling occurs. sent4: the punishment does not occur if the eliminating niobite does not occur and the eliminating portico does not occur. sent5: the antipollutionness occurs if the transpolarness does not occur and the outfitting does not occur. sent6: that the unhappyness and the unmaking cardiomegaly happens is incorrect. sent7: that the violence does not occur and the dabbling does not occur brings about that the insult happens. sent8: that the non-adroitness and the eliminating larghetto happens is not correct. sent9: the non-thriftiness and the non-uplandness occurs. sent10: the urging does not occur but the epistemicness occurs. sent11: if the airs does not occur and the eliminating tread-softly does not occur then the heartbreaker happens. sent12: if the unmaking transcendence does not occur and the abstaining does not occur then that the cerealness does not occur is not wrong. sent13: the dabbling does not occur. sent14: the forbearing does not occur. sent15: that the insult happens is prevented by that the violence but not the dabbling occurs. sent16: the Syrian does not occur. sent17: the fact that the bloom occurs and the unmaking sesquipedality occurs is wrong. sent18: that the generousness does not occur and the dawn does not occur prevents the dovetail.
void -> assump2: Let's assume that the violence does not occur and the dabbling does not occur.; assump2 -> int1: the violence does not occur.; void -> assump1: Let's assume that the insult happens.; int1 & assump1 -> int2: the violence does not occur and the insult occurs.;
$hypothesis$ = if the violence does not occur and the dabbling does not occur then the insult does not occur. ; $context$ = sent1: that the Semiticness happens and the Kuroshio happens does not hold. sent2: the fact that both the unmaking ham and the defibrillating megaloblast happens is incorrect. sent3: the insult does not occur if the violence does not occur and the dabbling occurs. sent4: the punishment does not occur if the eliminating niobite does not occur and the eliminating portico does not occur. sent5: the antipollutionness occurs if the transpolarness does not occur and the outfitting does not occur. sent6: that the unhappyness and the unmaking cardiomegaly happens is incorrect. sent7: that the violence does not occur and the dabbling does not occur brings about that the insult happens. sent8: that the non-adroitness and the eliminating larghetto happens is not correct. sent9: the non-thriftiness and the non-uplandness occurs. sent10: the urging does not occur but the epistemicness occurs. sent11: if the airs does not occur and the eliminating tread-softly does not occur then the heartbreaker happens. sent12: if the unmaking transcendence does not occur and the abstaining does not occur then that the cerealness does not occur is not wrong. sent13: the dabbling does not occur. sent14: the forbearing does not occur. sent15: that the insult happens is prevented by that the violence but not the dabbling occurs. sent16: the Syrian does not occur. sent17: the fact that the bloom occurs and the unmaking sesquipedality occurs is wrong. sent18: that the generousness does not occur and the dawn does not occur prevents the dovetail. ; $proof$ = 
void -> assump2: Let's assume that the violence does not occur and the dabbling does not occur.; assump2 -> int1: the violence does not occur.; void -> assump1: Let's assume that the insult happens.; int1 & assump1 -> int2: the violence does not occur and the insult occurs.; __UNKNOWN__