the saponifying occurs.
sent1: the petalousness occurs and the grub occurs if the dullness does not occur. sent2: the endothermicness happens. sent3: the tunelessness happens if the expensing obtainment happens. sent4: if the tunelessness and the radiotelephonicness happens then the Arminian does not occur. sent5: the malarialness happens if the nonsurgicalness happens. sent6: both the preservation and the anatomicness occurs. sent7: the preservation happens or the Frankishness does not occur or both if the anatomicness does not occur. sent8: the reopening backgrounding happens. sent9: the concerning expression happens and the postmenopausalness occurs. sent10: the nonsurgicalness happens. sent11: if the malarialness happens then the expensing obtainment happens. sent12: the impressionableness does not occur if the petalousness and the tunelessness happens. sent13: the aurifying and the petalousness happens if the fact that the tunelessness does not occur is not wrong. sent14: the Frankishness happens if the endothermicness happens. sent15: if the impressionableness does not occur the fact that the aurifying and the anatomicness occurs is false. sent16: if the anatomicness does not occur then that the preservation but not the saponifying happens is not true. sent17: that the aurifying occurs results in that the impressionableness happens but the anatomicness does not occur. sent18: that the saponifying does not occur is caused by that the Frankishness happens and the preservation occurs. sent19: the fact that the anatomicness occurs is not incorrect. sent20: that the noncombinativeness happens and the ravening occurs is not correct. sent21: the fact that the dulling does not occur is right if the fact that the noncombinativeness and the raven occurs is not right.
sent14 & sent2 -> int1: that the Frankishness occurs is correct.; sent6 -> int2: the preservation happens.; int1 & int2 -> int3: both the Frankishness and the preservation happens.; int3 & sent18 -> hypothesis;
the saponifying occurs.
$hypothesis$ = the saponifying occurs. ; $context$ = sent1: the petalousness occurs and the grub occurs if the dullness does not occur. sent2: the endothermicness happens. sent3: the tunelessness happens if the expensing obtainment happens. sent4: if the tunelessness and the radiotelephonicness happens then the Arminian does not occur. sent5: the malarialness happens if the nonsurgicalness happens. sent6: both the preservation and the anatomicness occurs. sent7: the preservation happens or the Frankishness does not occur or both if the anatomicness does not occur. sent8: the reopening backgrounding happens. sent9: the concerning expression happens and the postmenopausalness occurs. sent10: the nonsurgicalness happens. sent11: if the malarialness happens then the expensing obtainment happens. sent12: the impressionableness does not occur if the petalousness and the tunelessness happens. sent13: the aurifying and the petalousness happens if the fact that the tunelessness does not occur is not wrong. sent14: the Frankishness happens if the endothermicness happens. sent15: if the impressionableness does not occur the fact that the aurifying and the anatomicness occurs is false. sent16: if the anatomicness does not occur then that the preservation but not the saponifying happens is not true. sent17: that the aurifying occurs results in that the impressionableness happens but the anatomicness does not occur. sent18: that the saponifying does not occur is caused by that the Frankishness happens and the preservation occurs. sent19: the fact that the anatomicness occurs is not incorrect. sent20: that the noncombinativeness happens and the ravening occurs is not correct. sent21: the fact that the dulling does not occur is right if the fact that the noncombinativeness and the raven occurs is not right. ; $proof$ = 
sent14 & sent2 -> int1: that the Frankishness occurs is correct.; sent6 -> int2: the preservation happens.; int1 & int2 -> int3: both the Frankishness and the preservation happens.; int3 & sent18 -> hypothesis; __DISPROVED__