the Dutchman's-pipe is allogamous and it is a kind of a reverence.
sent1: the stolon is a genre and it does fan. sent2: if the levanter is not heterodactyl then the fluoroform is imprecise. sent3: if the Dutchman's-pipe is not angiomatous the fact that it is allogamous and it reverences does not hold. sent4: the Sexton either is angiomatous or does not bonnet Cretan or both if the Caddo is angiomatous. sent5: if the Sexton is angiomatous and/or it does not bonnet Cretan then the levanter is not heterodactyl. sent6: the Dutchman's-pipe is allogamous and is a reverence if the OR is not sociopathic. sent7: the OR is not a bagger. sent8: the OR is not a kind of a bagger if the coatee does not grease OR. sent9: there exists something such that that it is a hydride but not a Styx is incorrect. sent10: if something is a genre the fact that it is not a kind of a hydride and is not a kind of a Styx is not right. sent11: the fluoroform is a Styx if something is a Styx. sent12: if the Caddo is angiomatous then the Sexton is angiomatous and/or it bonnets Cretan. sent13: the coatee does not grease OR if the fluoroform is imprecise and a Styx. sent14: the fact that something is both not a hydride and a Styx does not hold if it is a genre. sent15: that the fact that something is a kind of non-angiomatous thing that is not a kind of a Styx hold is not wrong. sent16: the Caddo is both angiomatous and a fireball. sent17: the fluoroform is a Styx if there exists something such that the fact that it is not a kind of a hydride and it is not a Styx is false.
sent16 -> int1: the Caddo is angiomatous.; int1 & sent4 -> int2: the Sexton is angiomatous or does not bonnet Cretan or both.; int2 & sent5 -> int3: the levanter is not heterodactyl.; int3 & sent2 -> int4: the fluoroform is imprecise.; sent10 -> int5: if the stolon is a genre that it is not a hydride and it is not a Styx is incorrect.; sent1 -> int6: the stolon is a kind of a genre.; int5 & int6 -> int7: that the stolon is not a hydride and it is not a Styx is not true.; int7 -> int8: there is something such that that it is not a hydride and it is not a Styx does not hold.; int8 & sent17 -> int9: the fluoroform is a kind of a Styx.; int4 & int9 -> int10: the fluoroform is imprecise and it is a Styx.; int10 & sent13 -> int11: the coatee does not grease OR.;
the fact that the Dutchman's-pipe is a kind of allogamous a reverence is not right.
$hypothesis$ = the Dutchman's-pipe is allogamous and it is a kind of a reverence. ; $context$ = sent1: the stolon is a genre and it does fan. sent2: if the levanter is not heterodactyl then the fluoroform is imprecise. sent3: if the Dutchman's-pipe is not angiomatous the fact that it is allogamous and it reverences does not hold. sent4: the Sexton either is angiomatous or does not bonnet Cretan or both if the Caddo is angiomatous. sent5: if the Sexton is angiomatous and/or it does not bonnet Cretan then the levanter is not heterodactyl. sent6: the Dutchman's-pipe is allogamous and is a reverence if the OR is not sociopathic. sent7: the OR is not a bagger. sent8: the OR is not a kind of a bagger if the coatee does not grease OR. sent9: there exists something such that that it is a hydride but not a Styx is incorrect. sent10: if something is a genre the fact that it is not a kind of a hydride and is not a kind of a Styx is not right. sent11: the fluoroform is a Styx if something is a Styx. sent12: if the Caddo is angiomatous then the Sexton is angiomatous and/or it bonnets Cretan. sent13: the coatee does not grease OR if the fluoroform is imprecise and a Styx. sent14: the fact that something is both not a hydride and a Styx does not hold if it is a genre. sent15: that the fact that something is a kind of non-angiomatous thing that is not a kind of a Styx hold is not wrong. sent16: the Caddo is both angiomatous and a fireball. sent17: the fluoroform is a Styx if there exists something such that the fact that it is not a kind of a hydride and it is not a Styx is false. ; $proof$ = 
sent16 -> int1: the Caddo is angiomatous.; int1 & sent4 -> int2: the Sexton is angiomatous or does not bonnet Cretan or both.; int2 & sent5 -> int3: the levanter is not heterodactyl.; int3 & sent2 -> int4: the fluoroform is imprecise.; sent10 -> int5: if the stolon is a genre that it is not a hydride and it is not a Styx is incorrect.; sent1 -> int6: the stolon is a kind of a genre.; int5 & int6 -> int7: that the stolon is not a hydride and it is not a Styx is not true.; int7 -> int8: there is something such that that it is not a hydride and it is not a Styx does not hold.; int8 & sent17 -> int9: the fluoroform is a kind of a Styx.; int4 & int9 -> int10: the fluoroform is imprecise and it is a Styx.; int10 & sent13 -> int11: the coatee does not grease OR.; __UNKNOWN__