the tarragon either does sequence leucocytozoan or is a low or both.
sent1: the tarragon is tinny if it is a kind of a pentastomid. sent2: something does sequence leucocytozoan if it is not a music. sent3: the impact is not a kirpan and is a music if the bombsight does not crochet megabyte. sent4: the impact is a kirpan if there exists something such that the fact that it is not a pentastomid hold. sent5: the impact sequences leucocytozoan and/or is a kirpan. sent6: there is something such that it is a pentastomid. sent7: that the tarragon does not crochet megabyte but it is a kind of a music is not right if the impact is a music. sent8: something does sequence leucocytozoan if the fact that it does not crochet megabyte and it is a music is false. sent9: the impact is a low. sent10: something is a music if it is a kirpan. sent11: that something does sequence leucocytozoan and/or it is a kind of a low does not hold if it is not a pentastomid. sent12: if the tarragon is not a music it sequences leucocytozoan. sent13: something is not a kind of a pentastomid.
sent13 & sent4 -> int1: that the impact is a kirpan is correct.; sent10 -> int2: if the impact is a kirpan then it is a kind of a music.; int1 & int2 -> int3: the impact is a music.; int3 & sent7 -> int4: the fact that the tarragon does not crochet megabyte but it is a music is not true.; sent8 -> int5: the tarragon does sequence leucocytozoan if that it does not crochet megabyte and is a music is wrong.; int4 & int5 -> int6: the fact that the tarragon does sequence leucocytozoan is true.; int6 -> hypothesis;
that the tarragon does sequence leucocytozoan or is a low or both is false.
sent11 -> int7: the fact that the tarragon does sequence leucocytozoan and/or it is a kind of a low does not hold if it is not a pentastomid.;
$hypothesis$ = the tarragon either does sequence leucocytozoan or is a low or both. ; $context$ = sent1: the tarragon is tinny if it is a kind of a pentastomid. sent2: something does sequence leucocytozoan if it is not a music. sent3: the impact is not a kirpan and is a music if the bombsight does not crochet megabyte. sent4: the impact is a kirpan if there exists something such that the fact that it is not a pentastomid hold. sent5: the impact sequences leucocytozoan and/or is a kirpan. sent6: there is something such that it is a pentastomid. sent7: that the tarragon does not crochet megabyte but it is a kind of a music is not right if the impact is a music. sent8: something does sequence leucocytozoan if the fact that it does not crochet megabyte and it is a music is false. sent9: the impact is a low. sent10: something is a music if it is a kirpan. sent11: that something does sequence leucocytozoan and/or it is a kind of a low does not hold if it is not a pentastomid. sent12: if the tarragon is not a music it sequences leucocytozoan. sent13: something is not a kind of a pentastomid. ; $proof$ = 
sent13 & sent4 -> int1: that the impact is a kirpan is correct.; sent10 -> int2: if the impact is a kirpan then it is a kind of a music.; int1 & int2 -> int3: the impact is a music.; int3 & sent7 -> int4: the fact that the tarragon does not crochet megabyte but it is a music is not true.; sent8 -> int5: the tarragon does sequence leucocytozoan if that it does not crochet megabyte and is a music is wrong.; int4 & int5 -> int6: the fact that the tarragon does sequence leucocytozoan is true.; int6 -> hypothesis; __PROVED__