there is something such that if it heals tacker and does not thrust sight then it is not a kind of a Gibson.
sent1: the osier does not heal tacker if it is a Kanarese and does not thrust separation. sent2: the kirk is argillaceous if that it is a Gibson and does not heal stratocracy hold. sent3: the kirk is not a Gibson if it heals tacker and does not thrust sight. sent4: there exists something such that if it heals sparrow and is genetic it is not a pecan. sent5: if a polymerization does not heal Poitier then it is not a kind of an owner. sent6: there exists something such that if it does rail and is non-stigmatic then it is a kind of a phenobarbital. sent7: if the geologist is meningeal and it is ocular it is not a kind of a hairlessness. sent8: there is something such that if it does thrust Gempylus and does not underwrite then it is pemphigous. sent9: there exists something such that if it does thrust Heyrovsky and it is not a Gibraltarian then the fact that it is invulnerable is true. sent10: there exists something such that if it is both a border and not efferent it is a Ehrlich. sent11: the kirk is not a seigniorage if it does thrust sight and it is a Gibraltarian. sent12: there is something such that if it is a Arianism and it is not a kind of an incurable then it is not an italic. sent13: the pomegranate is not domiciliary if it dilates kirk and it paces. sent14: there exists something such that if it is a kind of an idiocy and it is not a Ehrlich then it is uncared-for. sent15: if the kirk is a Kanarese and a virilism it is not uncared-for. sent16: if the kirk is a kind of polydactyl thing that is not a Gibson then it does not thrust catamite. sent17: there exists something such that if it is a Arianism that does not thrust jaded then it is not non-adnexal. sent18: there is something such that if it does heal tacker and it thrusts sight then it is not a kind of a Gibson.
sent3 -> hypothesis;
there is something such that if it is a polymerization and does not heal Poitier it is not an owner.
sent5 -> int1: the gatehouse is not an owner if it is a kind of a polymerization that does not heal Poitier.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it heals tacker and does not thrust sight then it is not a kind of a Gibson. ; $context$ = sent1: the osier does not heal tacker if it is a Kanarese and does not thrust separation. sent2: the kirk is argillaceous if that it is a Gibson and does not heal stratocracy hold. sent3: the kirk is not a Gibson if it heals tacker and does not thrust sight. sent4: there exists something such that if it heals sparrow and is genetic it is not a pecan. sent5: if a polymerization does not heal Poitier then it is not a kind of an owner. sent6: there exists something such that if it does rail and is non-stigmatic then it is a kind of a phenobarbital. sent7: if the geologist is meningeal and it is ocular it is not a kind of a hairlessness. sent8: there is something such that if it does thrust Gempylus and does not underwrite then it is pemphigous. sent9: there exists something such that if it does thrust Heyrovsky and it is not a Gibraltarian then the fact that it is invulnerable is true. sent10: there exists something such that if it is both a border and not efferent it is a Ehrlich. sent11: the kirk is not a seigniorage if it does thrust sight and it is a Gibraltarian. sent12: there is something such that if it is a Arianism and it is not a kind of an incurable then it is not an italic. sent13: the pomegranate is not domiciliary if it dilates kirk and it paces. sent14: there exists something such that if it is a kind of an idiocy and it is not a Ehrlich then it is uncared-for. sent15: if the kirk is a Kanarese and a virilism it is not uncared-for. sent16: if the kirk is a kind of polydactyl thing that is not a Gibson then it does not thrust catamite. sent17: there exists something such that if it is a Arianism that does not thrust jaded then it is not non-adnexal. sent18: there is something such that if it does heal tacker and it thrusts sight then it is not a kind of a Gibson. ; $proof$ = 
sent3 -> hypothesis; __PROVED__