the epicenter demineralizes disciplined and it is umbelliform.
sent1: if there is something such that it does not demineralize taxer the treehopper is a taurine that does demineralize howdah. sent2: the songstress is perceptual and it does chance membered. sent3: something does demineralize disciplined if it is a polity. sent4: if the boardinghouse zeroes then the epicenter is a kind of a polity. sent5: if that the songstress chances membered is not incorrect then the epicenter is umbelliform. sent6: there exists something such that it does not demineralize taxer. sent7: the boardinghouse zeroes if the treehopper demineralizes howdah. sent8: there is something such that it does demineralize taxer. sent9: the treehopper is a taurine. sent10: the fact that the treehopper is a taurine hold if something does not demineralize taxer. sent11: the songstress is perceptual. sent12: the fact that something demineralizes disciplined and is umbelliform does not hold if it does not demineralize taxer.
sent6 & sent1 -> int1: the treehopper is taurine and it does demineralize howdah.; int1 -> int2: the treehopper does demineralize howdah.; int2 & sent7 -> int3: the boardinghouse is a zero.; int3 & sent4 -> int4: the epicenter is a polity.; sent3 -> int5: the epicenter does demineralize disciplined if it is a polity.; int4 & int5 -> int6: the epicenter does demineralize disciplined.; sent2 -> int7: the songstress chances membered.; sent5 & int7 -> int8: that the epicenter is umbelliform is not wrong.; int6 & int8 -> hypothesis;
the fact that the epicenter does demineralize disciplined and is umbelliform does not hold.
sent12 -> int9: if the epicenter does not demineralize taxer that it does demineralize disciplined and is umbelliform is wrong.;
$hypothesis$ = the epicenter demineralizes disciplined and it is umbelliform. ; $context$ = sent1: if there is something such that it does not demineralize taxer the treehopper is a taurine that does demineralize howdah. sent2: the songstress is perceptual and it does chance membered. sent3: something does demineralize disciplined if it is a polity. sent4: if the boardinghouse zeroes then the epicenter is a kind of a polity. sent5: if that the songstress chances membered is not incorrect then the epicenter is umbelliform. sent6: there exists something such that it does not demineralize taxer. sent7: the boardinghouse zeroes if the treehopper demineralizes howdah. sent8: there is something such that it does demineralize taxer. sent9: the treehopper is a taurine. sent10: the fact that the treehopper is a taurine hold if something does not demineralize taxer. sent11: the songstress is perceptual. sent12: the fact that something demineralizes disciplined and is umbelliform does not hold if it does not demineralize taxer. ; $proof$ = 
sent6 & sent1 -> int1: the treehopper is taurine and it does demineralize howdah.; int1 -> int2: the treehopper does demineralize howdah.; int2 & sent7 -> int3: the boardinghouse is a zero.; int3 & sent4 -> int4: the epicenter is a polity.; sent3 -> int5: the epicenter does demineralize disciplined if it is a polity.; int4 & int5 -> int6: the epicenter does demineralize disciplined.; sent2 -> int7: the songstress chances membered.; sent5 & int7 -> int8: that the epicenter is umbelliform is not wrong.; int6 & int8 -> hypothesis; __PROVED__