the Pyxis is not a windstorm.
sent1: a non-malignant thing is not a tutu and snarls. sent2: if there is something such that that it snarls and it is malignant is incorrect then the picker is nonexploratory. sent3: if the Cartesian is unscientific but it is not a sorghum the delphinium is not a kind of a sorghum. sent4: the Chandler is not a Eurylaimidae. sent5: if the Chandler is a bottle-grass the picker is electromotive. sent6: if a unexchangeable thing does unspell sailing-race it is exploratory. sent7: the screenwriter is a kind of a tutu. sent8: if that the pharmaceutical is not a kind of a bottle-grass and does not unspell fugacity is wrong then the Chandler is a bottle-grass. sent9: if something is a tutu then the fact that the ammunition is a snarl and it is malignant is wrong. sent10: that the picker is nonexploratory hold if there is something such that that it is not a kind of a snarl hold. sent11: the picker is a kind of a Eurylaimidae if the Chandler is not a kind of a Eurylaimidae but it is unexchangeable. sent12: if the delphinium is not a sorghum then the fact that the pharmaceutical is not a bottle-grass and does not unspell fugacity is wrong. sent13: something that is electromotive is not a Eurylaimidae. sent14: if something is not nonexploratory and is not a Eurylaimidae then the ammunition is not malignant. sent15: the picker is a kind of a Eurylaimidae if the Chandler is both a Eurylaimidae and unexchangeable. sent16: that the picker is not a waterproofing and it is not unexchangeable is not true. sent17: something is unexchangeable if that it is not a kind of a waterproofing and it is not unexchangeable is not correct. sent18: the Chandler is not a Eurylaimidae but it is unexchangeable. sent19: there exists something such that it does snarl and it is malignant.
sent7 -> int1: there exists something such that it is a kind of a tutu.; int1 & sent9 -> int2: that the ammunition is a snarl and is malignant does not hold.; int2 -> int3: there exists something such that the fact that it is a snarl that is malignant is not right.; int3 & sent2 -> int4: the picker is nonexploratory.; sent11 & sent18 -> int5: the picker is a Eurylaimidae.; int4 & int5 -> int6: the picker is a kind of a Eurylaimidae and is nonexploratory.;
the Pyxis is a windstorm.
sent1 -> int7: the ammunition is not a kind of a tutu and is a snarl if it is not malignant.; sent6 -> int8: if the picker is unexchangeable and it unspells sailing-race it is not nonexploratory.; sent17 -> int9: the picker is unexchangeable if the fact that it does not waterproof and is not unexchangeable does not hold.; int9 & sent16 -> int10: the picker is unexchangeable.; sent13 -> int11: the picker is not a kind of a Eurylaimidae if it is electromotive.;
$hypothesis$ = the Pyxis is not a windstorm. ; $context$ = sent1: a non-malignant thing is not a tutu and snarls. sent2: if there is something such that that it snarls and it is malignant is incorrect then the picker is nonexploratory. sent3: if the Cartesian is unscientific but it is not a sorghum the delphinium is not a kind of a sorghum. sent4: the Chandler is not a Eurylaimidae. sent5: if the Chandler is a bottle-grass the picker is electromotive. sent6: if a unexchangeable thing does unspell sailing-race it is exploratory. sent7: the screenwriter is a kind of a tutu. sent8: if that the pharmaceutical is not a kind of a bottle-grass and does not unspell fugacity is wrong then the Chandler is a bottle-grass. sent9: if something is a tutu then the fact that the ammunition is a snarl and it is malignant is wrong. sent10: that the picker is nonexploratory hold if there is something such that that it is not a kind of a snarl hold. sent11: the picker is a kind of a Eurylaimidae if the Chandler is not a kind of a Eurylaimidae but it is unexchangeable. sent12: if the delphinium is not a sorghum then the fact that the pharmaceutical is not a bottle-grass and does not unspell fugacity is wrong. sent13: something that is electromotive is not a Eurylaimidae. sent14: if something is not nonexploratory and is not a Eurylaimidae then the ammunition is not malignant. sent15: the picker is a kind of a Eurylaimidae if the Chandler is both a Eurylaimidae and unexchangeable. sent16: that the picker is not a waterproofing and it is not unexchangeable is not true. sent17: something is unexchangeable if that it is not a kind of a waterproofing and it is not unexchangeable is not correct. sent18: the Chandler is not a Eurylaimidae but it is unexchangeable. sent19: there exists something such that it does snarl and it is malignant. ; $proof$ = 
sent7 -> int1: there exists something such that it is a kind of a tutu.; int1 & sent9 -> int2: that the ammunition is a snarl and is malignant does not hold.; int2 -> int3: there exists something such that the fact that it is a snarl that is malignant is not right.; int3 & sent2 -> int4: the picker is nonexploratory.; sent11 & sent18 -> int5: the picker is a Eurylaimidae.; int4 & int5 -> int6: the picker is a kind of a Eurylaimidae and is nonexploratory.; __UNKNOWN__