the cornpone is not a myelin.
sent1: the fact that the photoelectron is both not zymotic and not a myelin does not hold. sent2: the fact that the photoelectron is zymotic but it does not sparge hayfield is not true. sent3: the photoelectron is not zymotic if there exists something such that the fact that the fact that it is not a myelin and it does not sparge hayfield is right is not correct. sent4: if the lemongrass does trisect Tenthredinidae the cornpone is a myelin. sent5: if there exists something such that the fact that it is a kind of non-zymotic thing that does not sparge hayfield is wrong then the fact that the cornpone is not a myelin is right. sent6: something is non-zymotic and/or does trisect Tenthredinidae if it is not a kind of a myelin. sent7: there is something such that that it is zymotic and it does not sparge hayfield does not hold. sent8: the fact that the fact that the photoelectron is both not a myelin and zymotic hold is incorrect. sent9: something is not zymotic if it either is not zymotic or trisects Tenthredinidae or both. sent10: there exists something such that that it is not a kind of a myelin and does not sparge hayfield does not hold. sent11: that there is something such that that it is not zymotic and does sparge hayfield is incorrect is not incorrect. sent12: there exists nothing such that it is zymotic and it does not sparge hayfield. sent13: the cornpone is not zymotic. sent14: there exists nothing such that it is non-zymotic thing that does not sparge hayfield.
sent14 -> int1: the fact that the photoelectron is a kind of non-zymotic thing that does not sparge hayfield is incorrect.; int1 -> int2: there exists something such that the fact that it is not zymotic and it does not sparge hayfield is not right.; int2 & sent5 -> hypothesis;
the cornpone is a myelin.
$hypothesis$ = the cornpone is not a myelin. ; $context$ = sent1: the fact that the photoelectron is both not zymotic and not a myelin does not hold. sent2: the fact that the photoelectron is zymotic but it does not sparge hayfield is not true. sent3: the photoelectron is not zymotic if there exists something such that the fact that the fact that it is not a myelin and it does not sparge hayfield is right is not correct. sent4: if the lemongrass does trisect Tenthredinidae the cornpone is a myelin. sent5: if there exists something such that the fact that it is a kind of non-zymotic thing that does not sparge hayfield is wrong then the fact that the cornpone is not a myelin is right. sent6: something is non-zymotic and/or does trisect Tenthredinidae if it is not a kind of a myelin. sent7: there is something such that that it is zymotic and it does not sparge hayfield does not hold. sent8: the fact that the fact that the photoelectron is both not a myelin and zymotic hold is incorrect. sent9: something is not zymotic if it either is not zymotic or trisects Tenthredinidae or both. sent10: there exists something such that that it is not a kind of a myelin and does not sparge hayfield does not hold. sent11: that there is something such that that it is not zymotic and does sparge hayfield is incorrect is not incorrect. sent12: there exists nothing such that it is zymotic and it does not sparge hayfield. sent13: the cornpone is not zymotic. sent14: there exists nothing such that it is non-zymotic thing that does not sparge hayfield. ; $proof$ = 
sent14 -> int1: the fact that the photoelectron is a kind of non-zymotic thing that does not sparge hayfield is incorrect.; int1 -> int2: there exists something such that the fact that it is not zymotic and it does not sparge hayfield is not right.; int2 & sent5 -> hypothesis; __PROVED__