that there exists something such that if it does mime then it is not glial does not hold.
sent1: the hater is not glial if it is a mime. sent2: if the hater mimes then it is glial. sent3: there is something such that if it whelps then it is not mechanical. sent4: there is something such that if the fact that it is not non-septal hold it is not microeconomics. sent5: there exists something such that if it is cheerful then it is not Mozartian. sent6: there exists something such that if it is azonal then it does not stoke gigolo. sent7: if the hater is a queasiness then that it does not mime is true. sent8: there exists something such that if it is strange it is not a kind of a paleoecology. sent9: there is something such that if it does grade Manhattan then it is not a kind of a trochanter. sent10: there is something such that if it mimes then it is glial. sent11: the propellant is not socialistic if it is glial. sent12: there exists something such that if it is Kafkaesque it is not septal. sent13: if something arbitrages it is not a rectocele. sent14: if the Piedmont is a mime the fact that it is not a Alexandrian hold.
sent1 -> hypothesis;
there exists something such that if it does arbitrage it is not a rectocele.
sent13 -> int1: if the Manhattan does arbitrage it is not a rectocele.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it does mime then it is not glial does not hold. ; $context$ = sent1: the hater is not glial if it is a mime. sent2: if the hater mimes then it is glial. sent3: there is something such that if it whelps then it is not mechanical. sent4: there is something such that if the fact that it is not non-septal hold it is not microeconomics. sent5: there exists something such that if it is cheerful then it is not Mozartian. sent6: there exists something such that if it is azonal then it does not stoke gigolo. sent7: if the hater is a queasiness then that it does not mime is true. sent8: there exists something such that if it is strange it is not a kind of a paleoecology. sent9: there is something such that if it does grade Manhattan then it is not a kind of a trochanter. sent10: there is something such that if it mimes then it is glial. sent11: the propellant is not socialistic if it is glial. sent12: there exists something such that if it is Kafkaesque it is not septal. sent13: if something arbitrages it is not a rectocele. sent14: if the Piedmont is a mime the fact that it is not a Alexandrian hold. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__