there exists something such that if it is not empiric then it is a sadist and it is not periodic.
sent1: if the phagocyte does not vault Maintenon it is both a sadist and not inductive. sent2: there exists something such that if it is not cerous then it is a talkie but not a NRC. sent3: there is something such that if it is not empiric it is a sadist. sent4: there exists something such that if it does not scourge phagocyte that it is a Munch and is non-autographic is true. sent5: the administrator does feast and is not empiric if that it does not dedicate is not false. sent6: if something does not scourge atavist then it does vault molding and is not explicit. sent7: there exists something such that if it is empiric then it is a sadist and it is not periodic. sent8: if the phagocyte is not empiric then it is not periodic. sent9: the phagocyte is a kind of a sadist and is not periodic if it is empiric. sent10: there exists something such that if it is not stubborn then it vaults lancers and is not a kind of a muscle. sent11: if the phagocyte is not empiric it is a kind of a sadist and it is not periodic. sent12: there is something such that if that it is not aroid is not incorrect it is chalybeate and it is not a kind of a fertilization. sent13: there exists something such that if it is not empiric it is not periodic. sent14: there exists something such that if it does not graph it is a osteocyte that does not scourge fingered. sent15: there exists something such that if it is not a kind of a Bolshevik then it is a stipendiary but not teleological. sent16: there exists something such that if it is not empiric it is a kind of a sadist that is periodic.
sent11 -> hypothesis;
there is something such that if it does not scourge atavist it vaults molding and it is not explicit.
sent6 -> int1: if the molding does not scourge atavist then it does vault molding and it is not explicit.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not empiric then it is a sadist and it is not periodic. ; $context$ = sent1: if the phagocyte does not vault Maintenon it is both a sadist and not inductive. sent2: there exists something such that if it is not cerous then it is a talkie but not a NRC. sent3: there is something such that if it is not empiric it is a sadist. sent4: there exists something such that if it does not scourge phagocyte that it is a Munch and is non-autographic is true. sent5: the administrator does feast and is not empiric if that it does not dedicate is not false. sent6: if something does not scourge atavist then it does vault molding and is not explicit. sent7: there exists something such that if it is empiric then it is a sadist and it is not periodic. sent8: if the phagocyte is not empiric then it is not periodic. sent9: the phagocyte is a kind of a sadist and is not periodic if it is empiric. sent10: there exists something such that if it is not stubborn then it vaults lancers and is not a kind of a muscle. sent11: if the phagocyte is not empiric it is a kind of a sadist and it is not periodic. sent12: there is something such that if that it is not aroid is not incorrect it is chalybeate and it is not a kind of a fertilization. sent13: there exists something such that if it is not empiric it is not periodic. sent14: there exists something such that if it does not graph it is a osteocyte that does not scourge fingered. sent15: there exists something such that if it is not a kind of a Bolshevik then it is a stipendiary but not teleological. sent16: there exists something such that if it is not empiric it is a kind of a sadist that is periodic. ; $proof$ = 
sent11 -> hypothesis; __PROVED__