if the anterior does not occur then the fact that either the thrombectomy does not occur or the Omani occurs or both is incorrect.
sent1: the fact that the facing does not occur or the overriding Gikuyu happens or both is incorrect if the slugging tic does not occur. sent2: the Omaniness does not occur. sent3: the strikeout and the Austrian occurs. sent4: the Omani does not occur if the brachycephalic does not occur. sent5: if the overriding fruitcake does not occur the fact that the fact that the aldehydicness happens and/or the famine occurs is right does not hold. sent6: the thrombectomy does not occur and/or the Omani happens. sent7: that the anteriorness does not occur and the strikeout does not occur triggers that the overriding Miro occurs. sent8: the fact that the thrombectomy happens and/or the Omaniness occurs is not true. sent9: if the fact that the overriding Asuncion but not the brazening ghoul happens is wrong then the strikeout does not occur. sent10: the Austrian happens. sent11: the overriding Asuncion occurs. sent12: if the overriding Asuncion does not occur the strikeout does not occur. sent13: that the brachycephalicness does not occur is triggered by that the brazening ghoul does not occur and the anteriorness does not occur.
void -> assump2: Let's assume that that the overriding Asuncion but not the brazening ghoul occurs does not hold.; sent9 & assump2 -> int1: the strikeout does not occur.; sent3 -> int2: the strikeout occurs.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the overriding Asuncion but not the brazening ghoul occurs.; int4 -> int5: that the brazening ghoul does not occur is correct.; void -> assump1: Let's assume that the anteriorness does not occur.; int5 & assump1 -> int6: the brazening ghoul does not occur and the anterior does not occur.; int6 & sent13 -> int7: the brachycephalic does not occur.;
the overriding Miro occurs but the broadcasting does not occur.
$hypothesis$ = if the anterior does not occur then the fact that either the thrombectomy does not occur or the Omani occurs or both is incorrect. ; $context$ = sent1: the fact that the facing does not occur or the overriding Gikuyu happens or both is incorrect if the slugging tic does not occur. sent2: the Omaniness does not occur. sent3: the strikeout and the Austrian occurs. sent4: the Omani does not occur if the brachycephalic does not occur. sent5: if the overriding fruitcake does not occur the fact that the fact that the aldehydicness happens and/or the famine occurs is right does not hold. sent6: the thrombectomy does not occur and/or the Omani happens. sent7: that the anteriorness does not occur and the strikeout does not occur triggers that the overriding Miro occurs. sent8: the fact that the thrombectomy happens and/or the Omaniness occurs is not true. sent9: if the fact that the overriding Asuncion but not the brazening ghoul happens is wrong then the strikeout does not occur. sent10: the Austrian happens. sent11: the overriding Asuncion occurs. sent12: if the overriding Asuncion does not occur the strikeout does not occur. sent13: that the brachycephalicness does not occur is triggered by that the brazening ghoul does not occur and the anteriorness does not occur. ; $proof$ = 
void -> assump2: Let's assume that that the overriding Asuncion but not the brazening ghoul occurs does not hold.; sent9 & assump2 -> int1: the strikeout does not occur.; sent3 -> int2: the strikeout occurs.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the overriding Asuncion but not the brazening ghoul occurs.; int4 -> int5: that the brazening ghoul does not occur is correct.; void -> assump1: Let's assume that the anteriorness does not occur.; int5 & assump1 -> int6: the brazening ghoul does not occur and the anterior does not occur.; int6 & sent13 -> int7: the brachycephalic does not occur.; __UNKNOWN__