the serictery is not a dispassion.
sent1: if the lobster is a Yalta and it is tolerant then the enzyme is not a kind of an infection. sent2: the salol is a acicula. sent3: if the salol is a dispassion the serictery is a dispassion. sent4: the fact that the salol is both an infection and aortal is not true. sent5: if the lobster is not a kind of a snatch then the salol is a dispassion and is a acicula. sent6: if the salol is a kind of a acicula it is a kind of a snatch. sent7: the lobster is a kind of a Yalta if the salol is a snatch. sent8: the lobster is a spleenwort and is tolerant. sent9: the serictery is not a kind of a spleenwort. sent10: something is not a dimer if that it does ding kind and is a kind of a snatch is false. sent11: that the salol is an infection and is a acicula is incorrect. sent12: that if the fact that something is an infection and is a dimer does not hold then it is not a kind of a dispassion is not wrong. sent13: if the pyinma is not a dispassion the serictery does not ding kind and it is not a kind of a dispassion.
sent6 & sent2 -> int1: that the salol does snatch is right.; int1 & sent7 -> int2: the lobster is a Yalta.; sent8 -> int3: the lobster is tolerant.; int2 & int3 -> int4: the lobster is a Yalta and is tolerant.; int4 & sent1 -> int5: the enzyme is not an infection.; sent12 -> int6: if that the pyinma is an infection and it is a dimer does not hold it is not a dispassion.;
the fact that the serictery is a kind of a dispassion is not false.
$hypothesis$ = the serictery is not a dispassion. ; $context$ = sent1: if the lobster is a Yalta and it is tolerant then the enzyme is not a kind of an infection. sent2: the salol is a acicula. sent3: if the salol is a dispassion the serictery is a dispassion. sent4: the fact that the salol is both an infection and aortal is not true. sent5: if the lobster is not a kind of a snatch then the salol is a dispassion and is a acicula. sent6: if the salol is a kind of a acicula it is a kind of a snatch. sent7: the lobster is a kind of a Yalta if the salol is a snatch. sent8: the lobster is a spleenwort and is tolerant. sent9: the serictery is not a kind of a spleenwort. sent10: something is not a dimer if that it does ding kind and is a kind of a snatch is false. sent11: that the salol is an infection and is a acicula is incorrect. sent12: that if the fact that something is an infection and is a dimer does not hold then it is not a kind of a dispassion is not wrong. sent13: if the pyinma is not a dispassion the serictery does not ding kind and it is not a kind of a dispassion. ; $proof$ = 
sent6 & sent2 -> int1: that the salol does snatch is right.; int1 & sent7 -> int2: the lobster is a Yalta.; sent8 -> int3: the lobster is tolerant.; int2 & int3 -> int4: the lobster is a Yalta and is tolerant.; int4 & sent1 -> int5: the enzyme is not an infection.; sent12 -> int6: if that the pyinma is an infection and it is a dimer does not hold it is not a dispassion.; __UNKNOWN__