the sapropel is a retailer and does riddle services.
sent1: The felwort incriminates sapropel. sent2: the salmonberry is a billfish and is Appalachians. sent3: if the sapropel incriminates felwort then it is a retailer. sent4: if the plebeian does not riddle services then the sapropel incriminates star-thistle. sent5: The star-thistle does not incriminate plebeian. sent6: the sapropel incriminates felwort. sent7: the plebeian does riddle services. sent8: the sapropel is a billfish and it incriminates star-thistle. sent9: the plebeian does riddle plebeian if it is a kind of a retailer. sent10: the fact that something is a retailer and it riddles services is wrong if it does not incriminate star-thistle. sent11: the plebeian does not incriminate star-thistle. sent12: the sapropel is biliary if it is priming.
sent3 & sent6 -> int1: the sapropel is a retailer.;
that the sapropel is a retailer and it does riddle services does not hold.
sent10 -> int2: if that the sapropel does not incriminate star-thistle hold the fact that it is a retailer and it riddles services is not true.;
$hypothesis$ = the sapropel is a retailer and does riddle services. ; $context$ = sent1: The felwort incriminates sapropel. sent2: the salmonberry is a billfish and is Appalachians. sent3: if the sapropel incriminates felwort then it is a retailer. sent4: if the plebeian does not riddle services then the sapropel incriminates star-thistle. sent5: The star-thistle does not incriminate plebeian. sent6: the sapropel incriminates felwort. sent7: the plebeian does riddle services. sent8: the sapropel is a billfish and it incriminates star-thistle. sent9: the plebeian does riddle plebeian if it is a kind of a retailer. sent10: the fact that something is a retailer and it riddles services is wrong if it does not incriminate star-thistle. sent11: the plebeian does not incriminate star-thistle. sent12: the sapropel is biliary if it is priming. ; $proof$ = 
sent3 & sent6 -> int1: the sapropel is a retailer.; __UNKNOWN__