there exists something such that if the fact that it is not a eulogy and it does result does not hold then it does piece moldboard.
sent1: if that the moldboard is both not senatorial and a endodontist is wrong the fact that it pieces moldboard hold. sent2: there exists something such that if that it is a eulogy and it is a result is not true it pieces moldboard. sent3: the fact that the moldboard trenches is correct if the fact that it is both not a eulogy and a caustic is not true. sent4: the moldboard does result if that it is not a Holocentridae is right. sent5: there exists something such that if it is both not a eulogy and a result then it pieces moldboard. sent6: if that something is a kind of a eulogy and results is false it pieces moldboard. sent7: if the moldboard is not a kind of a eulogy and results then it does piece moldboard. sent8: there exists something such that if that it is both not unscientific and a bones is wrong then it is soluble. sent9: the moldboard pieces moldboard if that it does not elapse and is Old is not true. sent10: something that is not a result pieces moldboard. sent11: the ritz is inoperative if that it does not piece parishioner and does result is incorrect. sent12: if that something is not a eulogy and results does not hold it does piece moldboard. sent13: the short does piece moldboard if the fact that it does not scuff Unio and it is a hexagon is incorrect. sent14: there is something such that if it is not a result then it does piece moldboard. sent15: the fact that the parishioner is the masked if the parishioner does not girdle bullfight hold. sent16: there exists something such that if that it is not a solidity and does scuff sloganeering is not right then it is a micrometry. sent17: the moldboard pieces moldboard if the fact that it is a eulogy and it results is not correct. sent18: something does piece moldboard if it is not a kind of a eulogy and it is a result.
sent12 -> int1: the moldboard does piece moldboard if that it is not a eulogy and it results does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a eulogy and it does result does not hold then it does piece moldboard. ; $context$ = sent1: if that the moldboard is both not senatorial and a endodontist is wrong the fact that it pieces moldboard hold. sent2: there exists something such that if that it is a eulogy and it is a result is not true it pieces moldboard. sent3: the fact that the moldboard trenches is correct if the fact that it is both not a eulogy and a caustic is not true. sent4: the moldboard does result if that it is not a Holocentridae is right. sent5: there exists something such that if it is both not a eulogy and a result then it pieces moldboard. sent6: if that something is a kind of a eulogy and results is false it pieces moldboard. sent7: if the moldboard is not a kind of a eulogy and results then it does piece moldboard. sent8: there exists something such that if that it is both not unscientific and a bones is wrong then it is soluble. sent9: the moldboard pieces moldboard if that it does not elapse and is Old is not true. sent10: something that is not a result pieces moldboard. sent11: the ritz is inoperative if that it does not piece parishioner and does result is incorrect. sent12: if that something is not a eulogy and results does not hold it does piece moldboard. sent13: the short does piece moldboard if the fact that it does not scuff Unio and it is a hexagon is incorrect. sent14: there is something such that if it is not a result then it does piece moldboard. sent15: the fact that the parishioner is the masked if the parishioner does not girdle bullfight hold. sent16: there exists something such that if that it is not a solidity and does scuff sloganeering is not right then it is a micrometry. sent17: the moldboard pieces moldboard if the fact that it is a eulogy and it results is not correct. sent18: something does piece moldboard if it is not a kind of a eulogy and it is a result. ; $proof$ = 
sent12 -> int1: the moldboard does piece moldboard if that it is not a eulogy and it results does not hold.; int1 -> hypothesis; __PROVED__