there exists something such that if it does not permit borzoi and it is occipital it is not aspectual.
sent1: the cefadroxil is not subcortical if it does not permit borzoi and it is Deweyan. sent2: the borzoi is not occipital if it does not boot Nichrome and it bumbles Parasitaxus. sent3: there is something such that if it does not permit propenal and is hungry it is not immunocompetent. sent4: if the borzoi does not permit borzoi and is occipital it is not aspectual. sent5: something that does not bumble daughter and is an e is not conjunct. sent6: the fact that there exists something such that if it does not permit matelote and is disrespectful the fact that it does not permit caff is not false is not incorrect. sent7: there is something such that if it is not bimorphemic and it does boot episome it is not convenient. sent8: if the matelote is not a kind of an imponderable but it is occipital then it is not a horror. sent9: if something that does not permit Schwarzwald is a kind of a brocket it is not a lindy. sent10: there is something such that if it does permit borzoi and it is occipital the fact that it is aspectual is wrong. sent11: there is something such that if it does not stigmatize temp and is antiquarian it does not permit Rumpelstiltskin. sent12: the borzoi is aspectual if it does not permit borzoi and it is occipital. sent13: there is something such that if it does not permit borzoi and it is occipital then it is aspectual. sent14: the borzoi is not aspectual if it permits borzoi and is occipital. sent15: there exists something such that if it does not permit Rumpelstiltskin and it bumbles Parasitaxus it is not an ellipse. sent16: the fact that the canoe does not choke hold if it does not permit caff and is aspectual. sent17: if the borzoi is both not a Saladin and anuran it does not permit borzoi.
sent4 -> hypothesis;
there is something such that if it does not permit Schwarzwald and it is a brocket the fact that it is not a lindy hold.
sent9 -> int1: the Nichrome is not a kind of a lindy if that it does not permit Schwarzwald and is a brocket is correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not permit borzoi and it is occipital it is not aspectual. ; $context$ = sent1: the cefadroxil is not subcortical if it does not permit borzoi and it is Deweyan. sent2: the borzoi is not occipital if it does not boot Nichrome and it bumbles Parasitaxus. sent3: there is something such that if it does not permit propenal and is hungry it is not immunocompetent. sent4: if the borzoi does not permit borzoi and is occipital it is not aspectual. sent5: something that does not bumble daughter and is an e is not conjunct. sent6: the fact that there exists something such that if it does not permit matelote and is disrespectful the fact that it does not permit caff is not false is not incorrect. sent7: there is something such that if it is not bimorphemic and it does boot episome it is not convenient. sent8: if the matelote is not a kind of an imponderable but it is occipital then it is not a horror. sent9: if something that does not permit Schwarzwald is a kind of a brocket it is not a lindy. sent10: there is something such that if it does permit borzoi and it is occipital the fact that it is aspectual is wrong. sent11: there is something such that if it does not stigmatize temp and is antiquarian it does not permit Rumpelstiltskin. sent12: the borzoi is aspectual if it does not permit borzoi and it is occipital. sent13: there is something such that if it does not permit borzoi and it is occipital then it is aspectual. sent14: the borzoi is not aspectual if it permits borzoi and is occipital. sent15: there exists something such that if it does not permit Rumpelstiltskin and it bumbles Parasitaxus it is not an ellipse. sent16: the fact that the canoe does not choke hold if it does not permit caff and is aspectual. sent17: if the borzoi is both not a Saladin and anuran it does not permit borzoi. ; $proof$ = 
sent4 -> hypothesis; __PROVED__