that the fact that both the ceramics and the non-illegalness happens hold is not right if the irremovableness happens.
sent1: that both the studding Mecca and the non-sonicness happens is caused by that the mammothermography occurs. sent2: the fact that the nesting mariner occurs and the studding happens does not hold if the latterness happens. sent3: that the quitting happens and the inopportuneness occurs does not hold. sent4: that if the angelus happens then that the ceramics happens and the illegalness happens is not correct hold. sent5: that the specificness occurs and the studding luciferin does not occur does not hold if the nesting cyanogen happens. sent6: the outbreak occurs. sent7: that the numbering but not the unconstitutionalness occurs is caused by that the nesting bracteole occurs. sent8: that the chapter occurs triggers that both the counterattack and the non-odorlessness occurs. sent9: the ceramics but not the illegalness happens. sent10: the fact that the nonindustrialness occurs is not wrong if the rhonchus occurs. sent11: if the overture happens the nesting ossuary happens. sent12: if the irremovableness occurs the ceramicsness but not the illegalness occurs. sent13: if the underageness happens then the fact that that the Preakness but not the studding cuppa happens is true is not correct. sent14: if the studding contract occurs then the forehand occurs. sent15: if the nesting ossuary occurs the fact that both the studding tetrasporangium and the collimation happens is not true. sent16: the angelus occurs if the drinkableness occurs. sent17: the drinkableness is caused by the irremovableness. sent18: the fact that the neglecting Thorndike but not the nesting caution occurs is not right if the planning occurs.
void -> assump1: Let's assume that the irremovableness occurs.; sent17 & assump1 -> int1: that the drinkableness happens hold.; sent16 & int1 -> int2: the angelus occurs.;
$hypothesis$ = that the fact that both the ceramics and the non-illegalness happens hold is not right if the irremovableness happens. ; $context$ = sent1: that both the studding Mecca and the non-sonicness happens is caused by that the mammothermography occurs. sent2: the fact that the nesting mariner occurs and the studding happens does not hold if the latterness happens. sent3: that the quitting happens and the inopportuneness occurs does not hold. sent4: that if the angelus happens then that the ceramics happens and the illegalness happens is not correct hold. sent5: that the specificness occurs and the studding luciferin does not occur does not hold if the nesting cyanogen happens. sent6: the outbreak occurs. sent7: that the numbering but not the unconstitutionalness occurs is caused by that the nesting bracteole occurs. sent8: that the chapter occurs triggers that both the counterattack and the non-odorlessness occurs. sent9: the ceramics but not the illegalness happens. sent10: the fact that the nonindustrialness occurs is not wrong if the rhonchus occurs. sent11: if the overture happens the nesting ossuary happens. sent12: if the irremovableness occurs the ceramicsness but not the illegalness occurs. sent13: if the underageness happens then the fact that that the Preakness but not the studding cuppa happens is true is not correct. sent14: if the studding contract occurs then the forehand occurs. sent15: if the nesting ossuary occurs the fact that both the studding tetrasporangium and the collimation happens is not true. sent16: the angelus occurs if the drinkableness occurs. sent17: the drinkableness is caused by the irremovableness. sent18: the fact that the neglecting Thorndike but not the nesting caution occurs is not right if the planning occurs. ; $proof$ = 
void -> assump1: Let's assume that the irremovableness occurs.; sent17 & assump1 -> int1: that the drinkableness happens hold.; sent16 & int1 -> int2: the angelus occurs.; __UNKNOWN__