the collateral occurs.
sent1: that the toehold happens and the blaze does not occur triggers that the privation does not occur. sent2: if that that the homileticness does not occur is right is wrong then that not the rubbing but the consuetude occurs is not correct. sent3: the centeringness does not occur if the face does not occur. sent4: if the stub occurs then the deducing Buchloe does not occur and the unbarring hierarchy does not occur. sent5: that the collateral happens is prevented by that the colorimetricness and the ruffling occurs. sent6: the non-Azerbaijaniness and/or the Ambrosianness is caused by that the unbarring Erinaceus does not occur. sent7: if the ruffling occurs then the fact that not the parts but the sallow occurs is wrong. sent8: that the parts happens and the sallowing happens does not hold. sent9: the skimming Ticino occurs. sent10: if that the parts does not occur and the sallow happens is incorrect the collateral occurs. sent11: the fact that the face occurs does not hold if that the face but not the importing happens is not right. sent12: that the unbarring Erinaceus occurs is prevented by that the privation does not occur and the true-falseness does not occur. sent13: the fact that the collateral happens is not incorrect if the parts happens. sent14: if the unbarring hierarchy does not occur then that the facing occurs but the importing does not occur is not correct. sent15: not the parts but the barratry occurs. sent16: the ruffling happens. sent17: both the stubbing and the Ravel happens if the volcanism does not occur. sent18: the barratry brings about that the toehold but not the blaze happens. sent19: if the ruffling happens the fact that both the parts and the sallowing occurs is not correct. sent20: the volcanism does not occur if the Azerbaijaniness does not occur or the Ambrosianness happens or both. sent21: if the centeringness does not occur then the colorimetricness happens and the ruffling occurs. sent22: if the face occurs then that both the non-colorimetricness and the non-centeringness happens is not right. sent23: the microbialness happens.
sent7 & sent16 -> int1: that not the parts but the sallowing happens is wrong.; sent10 & int1 -> hypothesis;
the deducing doxology occurs.
$hypothesis$ = the collateral occurs. ; $context$ = sent1: that the toehold happens and the blaze does not occur triggers that the privation does not occur. sent2: if that that the homileticness does not occur is right is wrong then that not the rubbing but the consuetude occurs is not correct. sent3: the centeringness does not occur if the face does not occur. sent4: if the stub occurs then the deducing Buchloe does not occur and the unbarring hierarchy does not occur. sent5: that the collateral happens is prevented by that the colorimetricness and the ruffling occurs. sent6: the non-Azerbaijaniness and/or the Ambrosianness is caused by that the unbarring Erinaceus does not occur. sent7: if the ruffling occurs then the fact that not the parts but the sallow occurs is wrong. sent8: that the parts happens and the sallowing happens does not hold. sent9: the skimming Ticino occurs. sent10: if that the parts does not occur and the sallow happens is incorrect the collateral occurs. sent11: the fact that the face occurs does not hold if that the face but not the importing happens is not right. sent12: that the unbarring Erinaceus occurs is prevented by that the privation does not occur and the true-falseness does not occur. sent13: the fact that the collateral happens is not incorrect if the parts happens. sent14: if the unbarring hierarchy does not occur then that the facing occurs but the importing does not occur is not correct. sent15: not the parts but the barratry occurs. sent16: the ruffling happens. sent17: both the stubbing and the Ravel happens if the volcanism does not occur. sent18: the barratry brings about that the toehold but not the blaze happens. sent19: if the ruffling happens the fact that both the parts and the sallowing occurs is not correct. sent20: the volcanism does not occur if the Azerbaijaniness does not occur or the Ambrosianness happens or both. sent21: if the centeringness does not occur then the colorimetricness happens and the ruffling occurs. sent22: if the face occurs then that both the non-colorimetricness and the non-centeringness happens is not right. sent23: the microbialness happens. ; $proof$ = 
sent7 & sent16 -> int1: that not the parts but the sallowing happens is wrong.; sent10 & int1 -> hypothesis; __PROVED__