the fact that there is something such that if it does middle Plectrophenax then it is starry does not hold.
sent1: if the bluestem is starry then it is monochromatic. sent2: the bluestem is presentational if it is a kind of a whitehead. sent3: there is something such that if it does burgeon then it is a exurbia. sent4: there exists something such that if it bottoms it is uncritical. sent5: something is calyculate if it is distinct. sent6: if the bluestem middles Plectrophenax then it plunges. sent7: the bluestem is a lisle if it is not non-starry. sent8: something does redirect downgrade if it is microcosmic. sent9: there exists something such that if the fact that it is microcosmic is not false it is choragic. sent10: there is something such that if it is a labial it is digital. sent11: if something is starry it is a kind of a Polynemidae. sent12: there is something such that if it is not non-postdiluvian then it traffics Friulian. sent13: there is something such that if it is a kind of a cardinal then the fact that it is a Soubise is not false. sent14: if that the bluestem is inoperable is not incorrect then it is inaccurate. sent15: there is something such that if that it is a Medicare is correct then it traffics invertase. sent16: if the bluestem is a Edgar then it is trustworthy. sent17: there exists something such that if it is Nicaean then it does service. sent18: the bluestem is starry if the fact that it middles Plectrophenax hold. sent19: there is something such that if it vitriols Fresnel then it redirects mongo. sent20: there exists something such that if it is a carpal then it is trustworthy.
sent18 -> hypothesis;
the individualist is a kind of a Polynemidae if it is starry.
sent11 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it does middle Plectrophenax then it is starry does not hold. ; $context$ = sent1: if the bluestem is starry then it is monochromatic. sent2: the bluestem is presentational if it is a kind of a whitehead. sent3: there is something such that if it does burgeon then it is a exurbia. sent4: there exists something such that if it bottoms it is uncritical. sent5: something is calyculate if it is distinct. sent6: if the bluestem middles Plectrophenax then it plunges. sent7: the bluestem is a lisle if it is not non-starry. sent8: something does redirect downgrade if it is microcosmic. sent9: there exists something such that if the fact that it is microcosmic is not false it is choragic. sent10: there is something such that if it is a labial it is digital. sent11: if something is starry it is a kind of a Polynemidae. sent12: there is something such that if it is not non-postdiluvian then it traffics Friulian. sent13: there is something such that if it is a kind of a cardinal then the fact that it is a Soubise is not false. sent14: if that the bluestem is inoperable is not incorrect then it is inaccurate. sent15: there is something such that if that it is a Medicare is correct then it traffics invertase. sent16: if the bluestem is a Edgar then it is trustworthy. sent17: there exists something such that if it is Nicaean then it does service. sent18: the bluestem is starry if the fact that it middles Plectrophenax hold. sent19: there is something such that if it vitriols Fresnel then it redirects mongo. sent20: there exists something such that if it is a carpal then it is trustworthy. ; $proof$ = 
sent18 -> hypothesis; __DISPROVED__