there exists something such that if it is not a kind of an initiate that it is not an heirloom but a leviathan does not hold.
sent1: there is something such that if it does not go then it is a kind of non-orthoptic thing that is a biennial. sent2: there exists something such that if it is an initiate then that it is not an heirloom but a leviathan is not right. sent3: if something does not guarantee orthography it is not a pediatrician and it does engender. sent4: there exists something such that if it is not an initiate the fact that it is a kind of an heirloom and it is a leviathan is not correct. sent5: if the modem does not frazzle that it is toeless and it queens defense is not true. sent6: if something is not ignoble it is not a bomber and does guarantee tin. sent7: the scoffer is not a shove and is numerological if it is not a kind of an innocent. sent8: if the tin is not a Dutchman's-pipe it is not a kind of a leviathan and is a deconstructivism. sent9: that the fact that something is not an heirloom and is a leviathan is correct is incorrect if that it is not an initiate hold. sent10: there exists something such that if that it does guarantee chlorofluorocarbon is true then the fact that it does not guarantee orthography and it is a kind of a pharmaceutical is not right. sent11: there exists something such that if it laicizes placer then the fact that it does not queen hot-rod and is a name is not true. sent12: if the scoffer is not ignoble then the fact that it is a leviathan and it guarantees tin is false. sent13: that the sneaker does not guarantee Lillie but it does initiate is not right if it is not a Graptophyllum. sent14: that something is a fjord and it is domiciliary is not right if the fact that it does not guarantee tin is not incorrect. sent15: that something does not laicize sorcerer but it is noncommercial is not true if it is a pharmaceutical. sent16: something is not a kind of a naphthol but it does guarantee liaison if it is not a kind of a name. sent17: there exists something such that if it is not a vocative then it does not voyage and it is a cabin. sent18: that something is both not multinucleate and fishy is wrong if it is not a kind of a cabin.
sent9 -> int1: if the scoffer is not an initiate then the fact that it is not an heirloom and it is a leviathan is false.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of an initiate that it is not an heirloom but a leviathan does not hold. ; $context$ = sent1: there is something such that if it does not go then it is a kind of non-orthoptic thing that is a biennial. sent2: there exists something such that if it is an initiate then that it is not an heirloom but a leviathan is not right. sent3: if something does not guarantee orthography it is not a pediatrician and it does engender. sent4: there exists something such that if it is not an initiate the fact that it is a kind of an heirloom and it is a leviathan is not correct. sent5: if the modem does not frazzle that it is toeless and it queens defense is not true. sent6: if something is not ignoble it is not a bomber and does guarantee tin. sent7: the scoffer is not a shove and is numerological if it is not a kind of an innocent. sent8: if the tin is not a Dutchman's-pipe it is not a kind of a leviathan and is a deconstructivism. sent9: that the fact that something is not an heirloom and is a leviathan is correct is incorrect if that it is not an initiate hold. sent10: there exists something such that if that it does guarantee chlorofluorocarbon is true then the fact that it does not guarantee orthography and it is a kind of a pharmaceutical is not right. sent11: there exists something such that if it laicizes placer then the fact that it does not queen hot-rod and is a name is not true. sent12: if the scoffer is not ignoble then the fact that it is a leviathan and it guarantees tin is false. sent13: that the sneaker does not guarantee Lillie but it does initiate is not right if it is not a Graptophyllum. sent14: that something is a fjord and it is domiciliary is not right if the fact that it does not guarantee tin is not incorrect. sent15: that something does not laicize sorcerer but it is noncommercial is not true if it is a pharmaceutical. sent16: something is not a kind of a naphthol but it does guarantee liaison if it is not a kind of a name. sent17: there exists something such that if it is not a vocative then it does not voyage and it is a cabin. sent18: that something is both not multinucleate and fishy is wrong if it is not a kind of a cabin. ; $proof$ = 
sent9 -> int1: if the scoffer is not an initiate then the fact that it is not an heirloom and it is a leviathan is false.; int1 -> hypothesis; __PROVED__