if the editorialness happens then the incurable does not occur.
sent1: if the editorialness happens then the incurableness happens. sent2: if the defloration does not occur then the handlelessness and the altostratus happens. sent3: if the altostratus occurs the underwriting Loewe does not occur and the editorialness does not occur. sent4: the detox does not occur if the fact that both the sliming disobedience and the detox happens does not hold. sent5: that that both the box and the Bruneianness happens is not wrong is not right if the detox does not occur. sent6: if the attachableness happens and the bundling occurs then the encephalography does not occur. sent7: if the underwriting Loewe does not occur the incurableness happens and the sliming Solomon does not occur. sent8: the underwriting Loewe happens. sent9: if that both the boxing and the Bruneianness happens is false then the defloration does not occur. sent10: that the editorialness does not occur is triggered by that both the incurableness and the underwriting Loewe occurs. sent11: that the incurable and the underwriting Loewe occurs prevents the non-editorialness. sent12: that the gripping does not occur brings about that both the non-lunisolarness and the fog occurs. sent13: if the lunisolarness does not occur that the sliming disobedience happens and the detoxing occurs is not right.
void -> assump2: Let's assume that the editorialness occurs.; void -> assump1: Let's assume that the incurableness happens.; assump1 & sent8 -> int1: the incurableness and the underwriting Loewe happens.; sent10 & int1 -> int2: the editorialness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the incurable does not occur.; [assump2] & int4 -> hypothesis;
the sliming Solomon does not occur.
$hypothesis$ = if the editorialness happens then the incurable does not occur. ; $context$ = sent1: if the editorialness happens then the incurableness happens. sent2: if the defloration does not occur then the handlelessness and the altostratus happens. sent3: if the altostratus occurs the underwriting Loewe does not occur and the editorialness does not occur. sent4: the detox does not occur if the fact that both the sliming disobedience and the detox happens does not hold. sent5: that that both the box and the Bruneianness happens is not wrong is not right if the detox does not occur. sent6: if the attachableness happens and the bundling occurs then the encephalography does not occur. sent7: if the underwriting Loewe does not occur the incurableness happens and the sliming Solomon does not occur. sent8: the underwriting Loewe happens. sent9: if that both the boxing and the Bruneianness happens is false then the defloration does not occur. sent10: that the editorialness does not occur is triggered by that both the incurableness and the underwriting Loewe occurs. sent11: that the incurable and the underwriting Loewe occurs prevents the non-editorialness. sent12: that the gripping does not occur brings about that both the non-lunisolarness and the fog occurs. sent13: if the lunisolarness does not occur that the sliming disobedience happens and the detoxing occurs is not right. ; $proof$ = 
void -> assump2: Let's assume that the editorialness occurs.; void -> assump1: Let's assume that the incurableness happens.; assump1 & sent8 -> int1: the incurableness and the underwriting Loewe happens.; sent10 & int1 -> int2: the editorialness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the incurable does not occur.; [assump2] & int4 -> hypothesis; __PROVED__