either that the quivering actinomyxidian does not occur or that the aikido occurs or both is triggered by that the thromboembolism occurs.
sent1: that the intralobularness occurs leads to the deductiveness. sent2: that the spasm occurs is right. sent3: that either the quivering actinomyxidian or the aikido or both happens is caused by the thromboembolism. sent4: the exhibition occurs. sent5: if the mobilization occurs the fact that the quivering actinomyxidian occurs and the aikido does not occur does not hold. sent6: the ambushing walk occurs. sent7: that the thromboembolism does not occur and/or the Carthaginianness occurs does not hold if the feeding does not occur. sent8: if the deductiveness happens the fluvialness does not occur and the accelerating Eruca does not occur. sent9: the lubrication does not occur. sent10: the conserving occurs. sent11: the fatigues does not occur. sent12: the veto happens. sent13: that the quivering actinomyxidian does not occur is brought about by that the Carthaginianness does not occur or that the feeding does not occur or both. sent14: the itinerating does not occur. sent15: the northwester occurs if that the spasm happens is not wrong. sent16: the quivering actinomyxidian happens. sent17: the mobilization and the unionizing happens if that the accelerating Eruca does not occur is not false. sent18: if the fact that the quivering actinomyxidian happens and the aikido does not occur is not true the feeding does not occur.
sent15 & sent2 -> int1: the fact that the northwester does not occur is false.; void -> assump1: Let's assume that the thromboembolism occurs.; int1 & assump1 -> int2: both the northwester and the thromboembolism happens.;
that the pictographicness does not occur is not wrong.
$hypothesis$ = either that the quivering actinomyxidian does not occur or that the aikido occurs or both is triggered by that the thromboembolism occurs. ; $context$ = sent1: that the intralobularness occurs leads to the deductiveness. sent2: that the spasm occurs is right. sent3: that either the quivering actinomyxidian or the aikido or both happens is caused by the thromboembolism. sent4: the exhibition occurs. sent5: if the mobilization occurs the fact that the quivering actinomyxidian occurs and the aikido does not occur does not hold. sent6: the ambushing walk occurs. sent7: that the thromboembolism does not occur and/or the Carthaginianness occurs does not hold if the feeding does not occur. sent8: if the deductiveness happens the fluvialness does not occur and the accelerating Eruca does not occur. sent9: the lubrication does not occur. sent10: the conserving occurs. sent11: the fatigues does not occur. sent12: the veto happens. sent13: that the quivering actinomyxidian does not occur is brought about by that the Carthaginianness does not occur or that the feeding does not occur or both. sent14: the itinerating does not occur. sent15: the northwester occurs if that the spasm happens is not wrong. sent16: the quivering actinomyxidian happens. sent17: the mobilization and the unionizing happens if that the accelerating Eruca does not occur is not false. sent18: if the fact that the quivering actinomyxidian happens and the aikido does not occur is not true the feeding does not occur. ; $proof$ = 
sent15 & sent2 -> int1: the fact that the northwester does not occur is false.; void -> assump1: Let's assume that the thromboembolism occurs.; int1 & assump1 -> int2: both the northwester and the thromboembolism happens.; __UNKNOWN__