the eelgrass is low.
sent1: that the eelgrass is non-low if the fact that the microsome is not a kind of a Fauntleroy is not wrong is not incorrect. sent2: the checkout does not kibitz. sent3: there is something such that it is not a kind of a Fauntleroy. sent4: the eelgrass is not apoplectic if something is a paramilitary that does not pipe Paphiopedilum. sent5: there exists something such that it is a kind of an anglophile that does not kibitz. sent6: the cylinder is not an anglophile. sent7: the eelgrass is not an anglophile. sent8: the microsome does not kibitz. sent9: there is something such that it is a Fauntleroy. sent10: the microsome is not a kind of a Fauntleroy if there exists something such that it trams and is not Falstaffian. sent11: there exists something such that it is a Fauntleroy and is not a low. sent12: the microsome is not a interlanguage. sent13: if the microsome is unsalable the eelgrass is a low and it is a Fauntleroy. sent14: if there exists something such that it is a kind of an anglophile and it does not kibitz the microsome is not a Fauntleroy. sent15: there is something such that it is not a kind of a low. sent16: the microsome is not a kind of an anglophile. sent17: the eelgrass is not bromic. sent18: the microsome is non-low. sent19: something is not a peel.
sent5 & sent14 -> int1: the microsome is not a Fauntleroy.; sent1 & int1 -> hypothesis;
the eelgrass is a low.
$hypothesis$ = the eelgrass is low. ; $context$ = sent1: that the eelgrass is non-low if the fact that the microsome is not a kind of a Fauntleroy is not wrong is not incorrect. sent2: the checkout does not kibitz. sent3: there is something such that it is not a kind of a Fauntleroy. sent4: the eelgrass is not apoplectic if something is a paramilitary that does not pipe Paphiopedilum. sent5: there exists something such that it is a kind of an anglophile that does not kibitz. sent6: the cylinder is not an anglophile. sent7: the eelgrass is not an anglophile. sent8: the microsome does not kibitz. sent9: there is something such that it is a Fauntleroy. sent10: the microsome is not a kind of a Fauntleroy if there exists something such that it trams and is not Falstaffian. sent11: there exists something such that it is a Fauntleroy and is not a low. sent12: the microsome is not a interlanguage. sent13: if the microsome is unsalable the eelgrass is a low and it is a Fauntleroy. sent14: if there exists something such that it is a kind of an anglophile and it does not kibitz the microsome is not a Fauntleroy. sent15: there is something such that it is not a kind of a low. sent16: the microsome is not a kind of an anglophile. sent17: the eelgrass is not bromic. sent18: the microsome is non-low. sent19: something is not a peel. ; $proof$ = 
sent5 & sent14 -> int1: the microsome is not a Fauntleroy.; sent1 & int1 -> hypothesis; __DISPROVED__