that there is something such that if it is a Lindera and is not nonlexical then it is a Larix is wrong.
sent1: there is something such that if it is a kind of streptococcal thing that does not harvest then it is a transactinide. sent2: the pet is a kind of a yottabit if it is a kind of an anti that is not a kind of a Larix. sent3: there exists something such that if it is a jabot and is unreportable then it is a Asian. sent4: if the tensor does adjoin dodecahedron and it is bivariate then it is a Larix. sent5: if the tensor is a Lindera but it is not nonlexical it is a Larix. sent6: the tensor is a kind of a Larix if it is a Lindera and it is nonlexical. sent7: the predictor does adjoin predictor if it is both a Larix and not heavy-duty. sent8: there is something such that if it does adjoin nystatin and is a claque then it is an optometry. sent9: if the tensor is both a barberry and not endoparasitic it is a kind of a Barbadian. sent10: if something that is centigrade is not associative then it is a kind of a cock. sent11: the tensor is nonlexical if it is clinical and it is basilican. sent12: the tensor is nonlexical if it does emulsify tauon and it is a kind of a Nyssaceae. sent13: there is something such that if it is a kind of a node that is not a Artamus then it is a overlip.
sent5 -> hypothesis;
the fact that the stopcock cocks hold if it is centigrade and not associative.
sent10 -> hypothesis;
$hypothesis$ = that there is something such that if it is a Lindera and is not nonlexical then it is a Larix is wrong. ; $context$ = sent1: there is something such that if it is a kind of streptococcal thing that does not harvest then it is a transactinide. sent2: the pet is a kind of a yottabit if it is a kind of an anti that is not a kind of a Larix. sent3: there exists something such that if it is a jabot and is unreportable then it is a Asian. sent4: if the tensor does adjoin dodecahedron and it is bivariate then it is a Larix. sent5: if the tensor is a Lindera but it is not nonlexical it is a Larix. sent6: the tensor is a kind of a Larix if it is a Lindera and it is nonlexical. sent7: the predictor does adjoin predictor if it is both a Larix and not heavy-duty. sent8: there is something such that if it does adjoin nystatin and is a claque then it is an optometry. sent9: if the tensor is both a barberry and not endoparasitic it is a kind of a Barbadian. sent10: if something that is centigrade is not associative then it is a kind of a cock. sent11: the tensor is nonlexical if it is clinical and it is basilican. sent12: the tensor is nonlexical if it does emulsify tauon and it is a kind of a Nyssaceae. sent13: there is something such that if it is a kind of a node that is not a Artamus then it is a overlip. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__