the fact that the tripletail is a kind of a Jewess is not false if the isoleucine is a kind of a plum.
sent1: the tripletail is a kind of a plum. sent2: the isoleucine is a kind of a plum if the fact that the tripletail is linear but it does not discontinue does not hold. sent3: if the isoleucine is a plum but it is not linear it is a Jewess. sent4: the isoleucine does not discontinue if that the tripletail is a Jewess and not a plum is not right. sent5: the tripletail is a Jewess if it is linear and does discontinue. sent6: something that is linear and does not discontinue is a Jewess. sent7: the isoleucine is a Jewess. sent8: the tripletail is not a plum if the fact that the isoleucine is a kind of a Jewess that does not discontinue is incorrect. sent9: the fact that the isoleucine is linear thing that is diffident is incorrect. sent10: the isoleucine does not discontinue if that the fact that the tripletail is a plum and not linear is not correct is not incorrect. sent11: that the isoleucine does not discontinue is not wrong if the tripletail is a plum. sent12: if that the tripletail is linear thing that does not discontinue is not correct the isoleucine is not a plum. sent13: something that is linear and does discontinue is a Jewess.
void -> assump1: Let's assume that that the tripletail is a kind of linear thing that does not discontinue is wrong.; sent12 & assump1 -> int1: the isoleucine is not a plum.; void -> assump2: Let's assume that the fact that the isoleucine is a kind of a plum is not wrong.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tripletail is linear and does not discontinue.; sent6 -> int4: the fact that the fact that the tripletail is a kind of the Jewess is true if the tripletail is a kind of linear thing that does not discontinue is not wrong.; int3 & int4 -> int5: the tripletail is a Jewess.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the tripletail is a kind of a Jewess is not false if the isoleucine is a kind of a plum. ; $context$ = sent1: the tripletail is a kind of a plum. sent2: the isoleucine is a kind of a plum if the fact that the tripletail is linear but it does not discontinue does not hold. sent3: if the isoleucine is a plum but it is not linear it is a Jewess. sent4: the isoleucine does not discontinue if that the tripletail is a Jewess and not a plum is not right. sent5: the tripletail is a Jewess if it is linear and does discontinue. sent6: something that is linear and does not discontinue is a Jewess. sent7: the isoleucine is a Jewess. sent8: the tripletail is not a plum if the fact that the isoleucine is a kind of a Jewess that does not discontinue is incorrect. sent9: the fact that the isoleucine is linear thing that is diffident is incorrect. sent10: the isoleucine does not discontinue if that the fact that the tripletail is a plum and not linear is not correct is not incorrect. sent11: that the isoleucine does not discontinue is not wrong if the tripletail is a plum. sent12: if that the tripletail is linear thing that does not discontinue is not correct the isoleucine is not a plum. sent13: something that is linear and does discontinue is a Jewess. ; $proof$ = 
void -> assump1: Let's assume that that the tripletail is a kind of linear thing that does not discontinue is wrong.; sent12 & assump1 -> int1: the isoleucine is not a plum.; void -> assump2: Let's assume that the fact that the isoleucine is a kind of a plum is not wrong.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tripletail is linear and does not discontinue.; sent6 -> int4: the fact that the fact that the tripletail is a kind of the Jewess is true if the tripletail is a kind of linear thing that does not discontinue is not wrong.; int3 & int4 -> int5: the tripletail is a Jewess.; [assump2] & int5 -> hypothesis; __PROVED__