that there exists something such that if it is a kind of a chorus that is not achondritic then the fact that it is dyslexic hold is not true.
sent1: there exists something such that if it is not non-eremitic and is not a redberry then it spends. sent2: that there is something such that if the fact that it aurifies and it is not a constraint is not false then it is a kind of a Mancunian is not wrong. sent3: the sac is achondritic if it is both triumphal and not a heraldry. sent4: there exists something such that if it is a kind of a chorus that is achondritic then it is dyslexic. sent5: there exists something such that if it is lexicographic thing that is faithful then it does extricate Italian. sent6: a Junior that is not an ell is astronomic. sent7: there exists something such that if it enhances and it does not joint it does roughen xylene. sent8: there exists something such that if it is a kind of nonmetallic thing that does not aurify it is a kind of a greybeard. sent9: there exists something such that if it is courteous and it does not extricate straitjacket it is a eluate. sent10: there exists something such that if it is a kind of a receivership that is not astronomic the fact that it is collegiate hold. sent11: there exists something such that if it does extricate superfecundation and does not skid rage then it does simulate. sent12: if the sac is a chorus but it is not achondritic then it is dyslexic. sent13: if the bus is triumphal but it does not chorus then it is caloric. sent14: the sac is dyslexic if it is both a chorus and achondritic.
sent12 -> hypothesis;
there exists something such that if it is a Junior and it is not an ell then it is astronomic.
sent6 -> int1: if that the straitjacket is a kind of a Junior and is not an ell is right it is astronomic.; int1 -> hypothesis;
$hypothesis$ = that there exists something such that if it is a kind of a chorus that is not achondritic then the fact that it is dyslexic hold is not true. ; $context$ = sent1: there exists something such that if it is not non-eremitic and is not a redberry then it spends. sent2: that there is something such that if the fact that it aurifies and it is not a constraint is not false then it is a kind of a Mancunian is not wrong. sent3: the sac is achondritic if it is both triumphal and not a heraldry. sent4: there exists something such that if it is a kind of a chorus that is achondritic then it is dyslexic. sent5: there exists something such that if it is lexicographic thing that is faithful then it does extricate Italian. sent6: a Junior that is not an ell is astronomic. sent7: there exists something such that if it enhances and it does not joint it does roughen xylene. sent8: there exists something such that if it is a kind of nonmetallic thing that does not aurify it is a kind of a greybeard. sent9: there exists something such that if it is courteous and it does not extricate straitjacket it is a eluate. sent10: there exists something such that if it is a kind of a receivership that is not astronomic the fact that it is collegiate hold. sent11: there exists something such that if it does extricate superfecundation and does not skid rage then it does simulate. sent12: if the sac is a chorus but it is not achondritic then it is dyslexic. sent13: if the bus is triumphal but it does not chorus then it is caloric. sent14: the sac is dyslexic if it is both a chorus and achondritic. ; $proof$ = 
sent12 -> hypothesis; __DISPROVED__