if the Zolaesqueness occurs the yelling optimization does not occur.
sent1: the yelling optimization occurs if the fact that the Saxon and the disownment happens is incorrect. sent2: the non-Saxonness triggers that the yelling optimization does not occur. sent3: if the packing occurs then the Zolaesqueness does not occur. sent4: that the yelling optimization occurs is caused by that the Zolaesqueness happens. sent5: the acinarness does not occur if the juggle does not occur. sent6: if that the fact that both the Saxon and the disownment occurs is not correct hold then the yelling optimization does not occur. sent7: the venography occurs. sent8: if the packing occurs or the autosomalness happens or both that the Zolaesqueness does not occur hold. sent9: the insolence happens. sent10: if the calorimetricness does not occur that both the Saxon and the disownment occurs does not hold. sent11: the Rush does not occur. sent12: if the fact that the autosomalness does not occur is not false the calorimetricness does not occur. sent13: the demurrer does not occur. sent14: the yelling optimization occurs. sent15: the catoptricness does not occur if that the moving weaver does not occur is not wrong. sent16: the commingling happens if the packing happens.
void -> assump1: Let's assume that the Zolaesqueness occurs.; void -> assump2: Let's assume that the autosomalness happens.; assump2 -> int1: the packing and/or the autosomalness occurs.; sent8 & int1 -> int2: the Zolaesqueness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the autosomalness does not occur.; sent12 & int4 -> int5: the calorimetricness does not occur.; sent10 & int5 -> int6: the fact that the Saxon occurs and the disownment occurs does not hold.; sent6 & int6 -> int7: the yelling optimization does not occur.; [assump1] & int7 -> hypothesis;
the commingling happens.
$hypothesis$ = if the Zolaesqueness occurs the yelling optimization does not occur. ; $context$ = sent1: the yelling optimization occurs if the fact that the Saxon and the disownment happens is incorrect. sent2: the non-Saxonness triggers that the yelling optimization does not occur. sent3: if the packing occurs then the Zolaesqueness does not occur. sent4: that the yelling optimization occurs is caused by that the Zolaesqueness happens. sent5: the acinarness does not occur if the juggle does not occur. sent6: if that the fact that both the Saxon and the disownment occurs is not correct hold then the yelling optimization does not occur. sent7: the venography occurs. sent8: if the packing occurs or the autosomalness happens or both that the Zolaesqueness does not occur hold. sent9: the insolence happens. sent10: if the calorimetricness does not occur that both the Saxon and the disownment occurs does not hold. sent11: the Rush does not occur. sent12: if the fact that the autosomalness does not occur is not false the calorimetricness does not occur. sent13: the demurrer does not occur. sent14: the yelling optimization occurs. sent15: the catoptricness does not occur if that the moving weaver does not occur is not wrong. sent16: the commingling happens if the packing happens. ; $proof$ = 
void -> assump1: Let's assume that the Zolaesqueness occurs.; void -> assump2: Let's assume that the autosomalness happens.; assump2 -> int1: the packing and/or the autosomalness occurs.; sent8 & int1 -> int2: the Zolaesqueness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the autosomalness does not occur.; sent12 & int4 -> int5: the calorimetricness does not occur.; sent10 & int5 -> int6: the fact that the Saxon occurs and the disownment occurs does not hold.; sent6 & int6 -> int7: the yelling optimization does not occur.; [assump1] & int7 -> hypothesis; __PROVED__