there exists something such that if it is not a kind of a doxazosin then it is both not high and a Amphisbaenidae.
sent1: there exists something such that if the fact that it is pupillary is not false then it is not a Euterpe and clanks laconism. sent2: there exists something such that if it is not photographic then it is a chlorate. sent3: if the chrysomelid does not jockey caladium then it is both a Amphisbaenidae and a tease. sent4: there is something such that if it is not a doxazosin it is not a kind of a high. sent5: there exists something such that if it does consort indestructibility then it is not a Lycopersicon and it clanks blackboard. sent6: something does not jockey figurehead but it is a Amphisbaenidae if it is not a Cryptocercus. sent7: the chrysomelid does consort Hirschfeld and it is a kind of a Amphisbaenidae if it does not clank host. sent8: if the chrysomelid is not a doxazosin it is a kind of a Amphisbaenidae. sent9: there exists something such that if it is not a kind of a doxazosin it is a kind of a high that is a kind of a Amphisbaenidae. sent10: if the chrysomelid is not a doxazosin it is both not high and a Amphisbaenidae. sent11: the chrysomelid is both a goniometer and a brunch if it is not high. sent12: something that is not a kind of a abrogator is not a Amphisbaenidae and clanks up-tick. sent13: there exists something such that if it is not a Trombiculidae then it does not clank doddering and does travesty afterimage. sent14: something is not a hull but high if it does not stridulate.
sent10 -> hypothesis;
the subsoil does not jockey figurehead and is a Amphisbaenidae if it is not a Cryptocercus.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a doxazosin then it is both not high and a Amphisbaenidae. ; $context$ = sent1: there exists something such that if the fact that it is pupillary is not false then it is not a Euterpe and clanks laconism. sent2: there exists something such that if it is not photographic then it is a chlorate. sent3: if the chrysomelid does not jockey caladium then it is both a Amphisbaenidae and a tease. sent4: there is something such that if it is not a doxazosin it is not a kind of a high. sent5: there exists something such that if it does consort indestructibility then it is not a Lycopersicon and it clanks blackboard. sent6: something does not jockey figurehead but it is a Amphisbaenidae if it is not a Cryptocercus. sent7: the chrysomelid does consort Hirschfeld and it is a kind of a Amphisbaenidae if it does not clank host. sent8: if the chrysomelid is not a doxazosin it is a kind of a Amphisbaenidae. sent9: there exists something such that if it is not a kind of a doxazosin it is a kind of a high that is a kind of a Amphisbaenidae. sent10: if the chrysomelid is not a doxazosin it is both not high and a Amphisbaenidae. sent11: the chrysomelid is both a goniometer and a brunch if it is not high. sent12: something that is not a kind of a abrogator is not a Amphisbaenidae and clanks up-tick. sent13: there exists something such that if it is not a Trombiculidae then it does not clank doddering and does travesty afterimage. sent14: something is not a hull but high if it does not stridulate. ; $proof$ = 
sent10 -> hypothesis; __PROVED__