the sinner is not weedless.
sent1: the sinner is not a kind of a one-ninth if it is not an orpiment. sent2: if a non-eccentric thing is a Amur then the sinner is not weedless. sent3: the fact that if the campanile is not an orpiment but it is an eccentric the carryall does budget bellarmine hold. sent4: if the royal is not non-present then the carryall is a Amur. sent5: if the epidendron does not impede acronym then it is not present. sent6: the carryall is not an orpiment if the fact that it does budget bellarmine and it is a midrib does not hold. sent7: that the royal is a kind of a Frobisher and it does present does not hold. sent8: the royal is a jewfish. sent9: the campanile is a Frobisher. sent10: the campanile is weedless if the sinner is a midrib. sent11: if the campanile does not budget bellarmine but it is a midrib then the royal does present. sent12: there are non-eccentric and present things. sent13: the carryall is a kind of a midrib. sent14: the campanile does not budget bellarmine but it is a midrib. sent15: there is nothing such that it is an orpiment and it is a Frobisher. sent16: the fact that the sinner does describe and it is a Buck does not hold. sent17: that the sinner does not recover is right. sent18: the carryall does budget bellarmine if the campanile is a kind of an orpiment. sent19: something is not a kind of an orpiment if that it is weedless thing that is a Frobisher is incorrect. sent20: there is something such that it is non-legato. sent21: there exists something such that it does not corn. sent22: the sinner is not a kind of a midrib. sent23: something is not a Amur but weedless. sent24: if the fact that something is an orpiment and it is a Frobisher is wrong it is not an eccentric.
sent11 & sent14 -> int1: the royal presents.; int1 & sent4 -> int2: the carryall is a Amur.; sent24 -> int3: if that the carryall is a kind of an orpiment and it is a Frobisher is wrong it is not an eccentric.; sent15 -> int4: the fact that the carryall is an orpiment and it is a Frobisher is false.; int3 & int4 -> int5: the carryall is not an eccentric.; int2 & int5 -> int6: the carryall is non-eccentric but it is a Amur.; int6 -> int7: there exists something such that that it is non-eccentric a Amur hold.; int7 & sent2 -> hypothesis;
$hypothesis$ = the sinner is not weedless. ; $context$ = sent1: the sinner is not a kind of a one-ninth if it is not an orpiment. sent2: if a non-eccentric thing is a Amur then the sinner is not weedless. sent3: the fact that if the campanile is not an orpiment but it is an eccentric the carryall does budget bellarmine hold. sent4: if the royal is not non-present then the carryall is a Amur. sent5: if the epidendron does not impede acronym then it is not present. sent6: the carryall is not an orpiment if the fact that it does budget bellarmine and it is a midrib does not hold. sent7: that the royal is a kind of a Frobisher and it does present does not hold. sent8: the royal is a jewfish. sent9: the campanile is a Frobisher. sent10: the campanile is weedless if the sinner is a midrib. sent11: if the campanile does not budget bellarmine but it is a midrib then the royal does present. sent12: there are non-eccentric and present things. sent13: the carryall is a kind of a midrib. sent14: the campanile does not budget bellarmine but it is a midrib. sent15: there is nothing such that it is an orpiment and it is a Frobisher. sent16: the fact that the sinner does describe and it is a Buck does not hold. sent17: that the sinner does not recover is right. sent18: the carryall does budget bellarmine if the campanile is a kind of an orpiment. sent19: something is not a kind of an orpiment if that it is weedless thing that is a Frobisher is incorrect. sent20: there is something such that it is non-legato. sent21: there exists something such that it does not corn. sent22: the sinner is not a kind of a midrib. sent23: something is not a Amur but weedless. sent24: if the fact that something is an orpiment and it is a Frobisher is wrong it is not an eccentric. ; $proof$ = 
sent11 & sent14 -> int1: the royal presents.; int1 & sent4 -> int2: the carryall is a Amur.; sent24 -> int3: if that the carryall is a kind of an orpiment and it is a Frobisher is wrong it is not an eccentric.; sent15 -> int4: the fact that the carryall is an orpiment and it is a Frobisher is false.; int3 & int4 -> int5: the carryall is not an eccentric.; int2 & int5 -> int6: the carryall is non-eccentric but it is a Amur.; int6 -> int7: there exists something such that that it is non-eccentric a Amur hold.; int7 & sent2 -> hypothesis; __PROVED__