there exists something such that it is not a kind of a moneymaker and it is not a kind of a Lauraceae.
sent1: if the metal does sample cellar the fact that it is not a blowfly and it is not Iberian is wrong. sent2: something samples cellar and it is a moneymaker if it is not bodily. sent3: the metal is a Conakry. sent4: the fact that that the metal is a queue hold is not correct if it does not sample killifish and is not amblyopic. sent5: if the cellar is a moneymaker then the fact that the reamer is not a Lauraceae is right. sent6: if that the metal is not a blowfly and it is not a Iberian is wrong the cellar is a moneymaker. sent7: something is not a moneymaker. sent8: That the cellar samples metal is not false. sent9: if the metal is a kind of a Conakry then it does not sample killifish and is non-amblyopic. sent10: the reamer is not a moneymaker and is not a Lauraceae if the cellar is a moneymaker. sent11: the cellar is a moneymaker if the metal is a blowfly. sent12: that something is not a moneymaker but it is a kind of a Lauraceae is true. sent13: there exists something such that it is not a kind of a Lauraceae. sent14: that the metal samples cellar is not false.
sent1 & sent14 -> int1: the fact that the metal is not a blowfly and is not Iberian does not hold.; sent6 & int1 -> int2: the cellar is a moneymaker.; sent10 & int2 -> int3: the reamer is both not a moneymaker and not a Lauraceae.; int3 -> hypothesis;
the reamer samples cellar.
sent2 -> int4: if the reamer is not bodily then it samples cellar and is a kind of a moneymaker.; sent9 & sent3 -> int5: the metal does not sample killifish and is not amblyopic.; sent4 & int5 -> int6: the metal is not a queue.; int6 -> int7: there is something such that it does not queue.;
$hypothesis$ = there exists something such that it is not a kind of a moneymaker and it is not a kind of a Lauraceae. ; $context$ = sent1: if the metal does sample cellar the fact that it is not a blowfly and it is not Iberian is wrong. sent2: something samples cellar and it is a moneymaker if it is not bodily. sent3: the metal is a Conakry. sent4: the fact that that the metal is a queue hold is not correct if it does not sample killifish and is not amblyopic. sent5: if the cellar is a moneymaker then the fact that the reamer is not a Lauraceae is right. sent6: if that the metal is not a blowfly and it is not a Iberian is wrong the cellar is a moneymaker. sent7: something is not a moneymaker. sent8: That the cellar samples metal is not false. sent9: if the metal is a kind of a Conakry then it does not sample killifish and is non-amblyopic. sent10: the reamer is not a moneymaker and is not a Lauraceae if the cellar is a moneymaker. sent11: the cellar is a moneymaker if the metal is a blowfly. sent12: that something is not a moneymaker but it is a kind of a Lauraceae is true. sent13: there exists something such that it is not a kind of a Lauraceae. sent14: that the metal samples cellar is not false. ; $proof$ = 
sent1 & sent14 -> int1: the fact that the metal is not a blowfly and is not Iberian does not hold.; sent6 & int1 -> int2: the cellar is a moneymaker.; sent10 & int2 -> int3: the reamer is both not a moneymaker and not a Lauraceae.; int3 -> hypothesis; __PROVED__