there exists something such that if it is not a conger then it is frictionless and it is not a briefs.
sent1: if something is anaerobic it is a appanage and it is not dyslexic. sent2: there is something such that if the fact that it does not misremember chromite hold it does drum and it does not resect team. sent3: there is something such that if it is not a brush it is unpriestly and does not change. sent4: there is something such that if it is non-acidimetric it misremembers chromite and it is not a kind of a subtlety. sent5: something is a Jurassic that is not a Orinoco if it is a Alepisaurus. sent6: if the coolie is not a spermatocele it is a wetter and it does not recur. sent7: the chromite is quotable thing that is not presidential if it is not symmetrical. sent8: there exists something such that if the fact that it does not resect coolie is true then it untunes supremacism. sent9: there exists something such that if that it is not non-metric hold then it misremembers stickiness. sent10: there exists something such that if it is not a trou-de-loup then it is dyslexic and is a Renoir. sent11: something that is not a kind of a conger is frictionless and is not a briefs. sent12: if something untunes materialism it is a national and it is not magisterial. sent13: if the fact that something is non-psychoanalytical is correct it is a camp. sent14: there is something such that if it is not unproductive then it sobers and is a corkage.
sent11 -> int1: the chromite is frictionless but not a briefs if it is not a conger.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a conger then it is frictionless and it is not a briefs. ; $context$ = sent1: if something is anaerobic it is a appanage and it is not dyslexic. sent2: there is something such that if the fact that it does not misremember chromite hold it does drum and it does not resect team. sent3: there is something such that if it is not a brush it is unpriestly and does not change. sent4: there is something such that if it is non-acidimetric it misremembers chromite and it is not a kind of a subtlety. sent5: something is a Jurassic that is not a Orinoco if it is a Alepisaurus. sent6: if the coolie is not a spermatocele it is a wetter and it does not recur. sent7: the chromite is quotable thing that is not presidential if it is not symmetrical. sent8: there exists something such that if the fact that it does not resect coolie is true then it untunes supremacism. sent9: there exists something such that if that it is not non-metric hold then it misremembers stickiness. sent10: there exists something such that if it is not a trou-de-loup then it is dyslexic and is a Renoir. sent11: something that is not a kind of a conger is frictionless and is not a briefs. sent12: if something untunes materialism it is a national and it is not magisterial. sent13: if the fact that something is non-psychoanalytical is correct it is a camp. sent14: there is something such that if it is not unproductive then it sobers and is a corkage. ; $proof$ = 
sent11 -> int1: the chromite is frictionless but not a briefs if it is not a conger.; int1 -> hypothesis; __PROVED__