the fact that the silversmith is not dicarboxylic but it is yeasty does not hold.
sent1: if the sovereign is wiry then that the silversmith is dicarboxylic and it is commensurate is false. sent2: if the mithramycin does not assume the fact that that the tenrec is an aisle and assume is not false does not hold. sent3: the fact that the silversmith is dicarboxylic and it is yeasty is wrong if the sovereign is wiry. sent4: if something is splintery then it is non-dicarboxylic thing that is yeasty. sent5: if the mithramycin does not assume then the fact that the tenrec is not a kind of an aisle and assume is incorrect. sent6: the sovereign is wiry if the Plasticine is elocutionary. sent7: if the tenrec is not splintery then that the Plasticine is elocutionary is not false. sent8: that the tenrec is an aisle that does assume does not hold. sent9: the fact that the silversmith is non-splintery thing that is yeasty is not true. sent10: if the mithramycin is Timorese then it does not assume. sent11: if that the mithramycin is not a Timorese and is commensurate does not hold it does not assume. sent12: something is splintery if it assumes. sent13: that that that the silversmith is both non-dicarboxylic and yeasty is not incorrect is not right is correct if the sovereign is wiry. sent14: if that something is not an aisle but it does assume is not right it is not splintery. sent15: the fact that the silversmith is non-wiry but it is yeasty is wrong if the sovereign is not yeasty. sent16: the fact that the mithramycin is not non-Timorese and it is commensurate does not hold. sent17: the fact that the Plasticine is not elocutionary but it is splintery is wrong. sent18: something assumes if the fact that it is an aisle is not false.
sent14 -> int1: the tenrec is not splintery if that it is not an aisle and does assume is wrong.;
the silversmith is non-dicarboxylic thing that is yeasty.
sent4 -> int2: the silversmith is not dicarboxylic but it is yeasty if it is splintery.; sent12 -> int3: if the silversmith does assume then it is splintery.; sent18 -> int4: if the silversmith is an aisle then it assumes.;
$hypothesis$ = the fact that the silversmith is not dicarboxylic but it is yeasty does not hold. ; $context$ = sent1: if the sovereign is wiry then that the silversmith is dicarboxylic and it is commensurate is false. sent2: if the mithramycin does not assume the fact that that the tenrec is an aisle and assume is not false does not hold. sent3: the fact that the silversmith is dicarboxylic and it is yeasty is wrong if the sovereign is wiry. sent4: if something is splintery then it is non-dicarboxylic thing that is yeasty. sent5: if the mithramycin does not assume then the fact that the tenrec is not a kind of an aisle and assume is incorrect. sent6: the sovereign is wiry if the Plasticine is elocutionary. sent7: if the tenrec is not splintery then that the Plasticine is elocutionary is not false. sent8: that the tenrec is an aisle that does assume does not hold. sent9: the fact that the silversmith is non-splintery thing that is yeasty is not true. sent10: if the mithramycin is Timorese then it does not assume. sent11: if that the mithramycin is not a Timorese and is commensurate does not hold it does not assume. sent12: something is splintery if it assumes. sent13: that that that the silversmith is both non-dicarboxylic and yeasty is not incorrect is not right is correct if the sovereign is wiry. sent14: if that something is not an aisle but it does assume is not right it is not splintery. sent15: the fact that the silversmith is non-wiry but it is yeasty is wrong if the sovereign is not yeasty. sent16: the fact that the mithramycin is not non-Timorese and it is commensurate does not hold. sent17: the fact that the Plasticine is not elocutionary but it is splintery is wrong. sent18: something assumes if the fact that it is an aisle is not false. ; $proof$ = 
sent14 -> int1: the tenrec is not splintery if that it is not an aisle and does assume is wrong.; __UNKNOWN__