there is something such that if it is a NYSE it is small and it is not a charter.
sent1: there is something such that if it is nonfatal it is nonfissionable and it is not anecdotal. sent2: there exists something such that if it is cryogenics then it is both artifactual and not a yield. sent3: there exists something such that if it is a kind of a self then it is a Ankara and it is not nonprofessional. sent4: the fact that the benefactress is a collective but it is not a kind of a labyrinth hold if it is a charter. sent5: if the huddler is a sheep then it is a kind of small thing that is not a booth. sent6: there exists something such that if it does jack fraxinella then it is a kind of a Anguillan and is not Indian. sent7: the tramway is both shrubby and non-algoid if it is a small. sent8: the fact that the tramway is a small is not false if it is a NYSE. sent9: there exists something such that if it is cryogenics then it does lapse and is not a kind of a rhizome. sent10: the tramway is a small but it is not a charter if it is a NYSE. sent11: there exists something such that if it is Coleridgian then it does panic divergence and it is not a laceration. sent12: something does rerun dinosaur and is not loose if that it is transactinide is not incorrect. sent13: if the tramway does rerun megalopolis it panics abelmosk and it is not a NYSE. sent14: if the tramway is chiromantic it is a pest that is not a NYSE. sent15: the tramway is a kind of a small and it is a charter if it is a kind of a NYSE. sent16: there is something such that if it is a NYSE then it is small and it is a charter. sent17: there exists something such that if it is a kind of a NYSE it is a small. sent18: there is something such that if it is a NYSE it is not a charter. sent19: there is something such that if that it reruns puppetry is correct it is a incommutability and it does not rerun conjecture.
sent10 -> hypothesis;
there exists something such that if it is a transactinide then it does rerun dinosaur and is not loose.
sent12 -> int1: that if the naltrexone is a kind of the transactinide then the naltrexone does rerun dinosaur and is not loose hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a NYSE it is small and it is not a charter. ; $context$ = sent1: there is something such that if it is nonfatal it is nonfissionable and it is not anecdotal. sent2: there exists something such that if it is cryogenics then it is both artifactual and not a yield. sent3: there exists something such that if it is a kind of a self then it is a Ankara and it is not nonprofessional. sent4: the fact that the benefactress is a collective but it is not a kind of a labyrinth hold if it is a charter. sent5: if the huddler is a sheep then it is a kind of small thing that is not a booth. sent6: there exists something such that if it does jack fraxinella then it is a kind of a Anguillan and is not Indian. sent7: the tramway is both shrubby and non-algoid if it is a small. sent8: the fact that the tramway is a small is not false if it is a NYSE. sent9: there exists something such that if it is cryogenics then it does lapse and is not a kind of a rhizome. sent10: the tramway is a small but it is not a charter if it is a NYSE. sent11: there exists something such that if it is Coleridgian then it does panic divergence and it is not a laceration. sent12: something does rerun dinosaur and is not loose if that it is transactinide is not incorrect. sent13: if the tramway does rerun megalopolis it panics abelmosk and it is not a NYSE. sent14: if the tramway is chiromantic it is a pest that is not a NYSE. sent15: the tramway is a kind of a small and it is a charter if it is a kind of a NYSE. sent16: there is something such that if it is a NYSE then it is small and it is a charter. sent17: there exists something such that if it is a kind of a NYSE it is a small. sent18: there is something such that if it is a NYSE it is not a charter. sent19: there is something such that if that it reruns puppetry is correct it is a incommutability and it does not rerun conjecture. ; $proof$ = 
sent10 -> hypothesis; __PROVED__