the gonging Cybele occurs.
sent1: if the packaging does not occur not the spinalness but the meaning firebug happens. sent2: the gonging optimism and the arbitration happens. sent3: if the meaning firebug does not occur then the fact that the arbitration does not occur but the poling mazer occurs hold. sent4: that the sacking occurs is caused by the gonging optimism. sent5: the gonging Cybele occurs if the afforestation occurs. sent6: the poling dink does not occur. sent7: if the poling mazer does not occur then the fact that the arbitration but not the gonging optimism occurs is not right. sent8: the arbitration happens. sent9: if the jitters happens then that the afforestation happens is true. sent10: that the jitters does not occur causes that the sacking does not occur and the poling dink does not occur. sent11: the spinalness does not occur and the meaning firebug does not occur if the packaging does not occur. sent12: that that the gonging optimism does not occur and the gonging Cybele does not occur is not right if the arbitration does not occur hold. sent13: the keratinizing does not occur and the whirling does not occur if the poling memorial does not occur. sent14: the poling dink does not occur if the jitters does not occur. sent15: the poling mazer does not occur if the spinal does not occur and the meaning firebug happens.
void -> assump1: Let's assume that the jitters does not occur.; sent10 & assump1 -> int1: the sack does not occur and the poling dink does not occur.; int1 -> int2: the sack does not occur.; sent2 -> int3: the gonging optimism happens.; sent4 & int3 -> int4: the sacking happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jitters occurs.; int6 & sent9 -> int7: the fact that the afforestation occurs hold.; int7 & sent5 -> hypothesis;
the blandishment occurs.
$hypothesis$ = the gonging Cybele occurs. ; $context$ = sent1: if the packaging does not occur not the spinalness but the meaning firebug happens. sent2: the gonging optimism and the arbitration happens. sent3: if the meaning firebug does not occur then the fact that the arbitration does not occur but the poling mazer occurs hold. sent4: that the sacking occurs is caused by the gonging optimism. sent5: the gonging Cybele occurs if the afforestation occurs. sent6: the poling dink does not occur. sent7: if the poling mazer does not occur then the fact that the arbitration but not the gonging optimism occurs is not right. sent8: the arbitration happens. sent9: if the jitters happens then that the afforestation happens is true. sent10: that the jitters does not occur causes that the sacking does not occur and the poling dink does not occur. sent11: the spinalness does not occur and the meaning firebug does not occur if the packaging does not occur. sent12: that that the gonging optimism does not occur and the gonging Cybele does not occur is not right if the arbitration does not occur hold. sent13: the keratinizing does not occur and the whirling does not occur if the poling memorial does not occur. sent14: the poling dink does not occur if the jitters does not occur. sent15: the poling mazer does not occur if the spinal does not occur and the meaning firebug happens. ; $proof$ = 
void -> assump1: Let's assume that the jitters does not occur.; sent10 & assump1 -> int1: the sack does not occur and the poling dink does not occur.; int1 -> int2: the sack does not occur.; sent2 -> int3: the gonging optimism happens.; sent4 & int3 -> int4: the sacking happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jitters occurs.; int6 & sent9 -> int7: the fact that the afforestation occurs hold.; int7 & sent5 -> hypothesis; __PROVED__