the archosaur is not a surrey.
sent1: if there exists something such that the fact that it is a kind of a deaconess and it is Edwardian is incorrect then the barrio is not a kind of a Tamerlane. sent2: that the polygamist does reciprocate quasiparticle is right. sent3: there is something such that the fact that it does reciprocate quasiparticle and it does reciprocate Zygophyllum is not right. sent4: there exists something such that that it is a bettor and it is ascomycetous is incorrect. sent5: the polygamist is a Edwardian. sent6: the barrio is not a deaconess if there exists something such that the fact that it does reciprocate quasiparticle and it does reciprocate Zygophyllum does not hold. sent7: that the Yoruba is a deaconess but it does not shoo is wrong if the barrio is not a kind of a deaconess. sent8: something is a monogram if that it is a kind of a deaconess and it does not shoo is wrong. sent9: that the Yoruba is a deaconess and it shoos is not true if the barrio is not a deaconess. sent10: something is a Tamerlane if it is Edwardian. sent11: if something does snuffle beachcomber and is a Tamerlane then the archosaur is a surrey. sent12: if the fact that the Yoruba is a monogram hold then the polygamist does snuffle beachcomber.
sent3 & sent6 -> int1: the barrio is not a deaconess.; int1 & sent7 -> int2: that the fact that the Yoruba is a deaconess and does not shoo is not correct is not false.; sent8 -> int3: the Yoruba is a kind of a monogram if that it is a deaconess that does not shoo is not right.; int2 & int3 -> int4: the Yoruba is a monogram.; int4 & sent12 -> int5: that the polygamist snuffles beachcomber hold.; sent10 -> int6: the polygamist is a kind of a Tamerlane if the fact that it is a Edwardian is right.; int6 & sent5 -> int7: the polygamist is a kind of a Tamerlane.; int5 & int7 -> int8: the polygamist snuffles beachcomber and is a Tamerlane.; int8 -> int9: there is something such that it does snuffle beachcomber and it is a kind of a Tamerlane.; int9 & sent11 -> hypothesis;
$hypothesis$ = the archosaur is not a surrey. ; $context$ = sent1: if there exists something such that the fact that it is a kind of a deaconess and it is Edwardian is incorrect then the barrio is not a kind of a Tamerlane. sent2: that the polygamist does reciprocate quasiparticle is right. sent3: there is something such that the fact that it does reciprocate quasiparticle and it does reciprocate Zygophyllum is not right. sent4: there exists something such that that it is a bettor and it is ascomycetous is incorrect. sent5: the polygamist is a Edwardian. sent6: the barrio is not a deaconess if there exists something such that the fact that it does reciprocate quasiparticle and it does reciprocate Zygophyllum does not hold. sent7: that the Yoruba is a deaconess but it does not shoo is wrong if the barrio is not a kind of a deaconess. sent8: something is a monogram if that it is a kind of a deaconess and it does not shoo is wrong. sent9: that the Yoruba is a deaconess and it shoos is not true if the barrio is not a deaconess. sent10: something is a Tamerlane if it is Edwardian. sent11: if something does snuffle beachcomber and is a Tamerlane then the archosaur is a surrey. sent12: if the fact that the Yoruba is a monogram hold then the polygamist does snuffle beachcomber. ; $proof$ = 
sent3 & sent6 -> int1: the barrio is not a deaconess.; int1 & sent7 -> int2: that the fact that the Yoruba is a deaconess and does not shoo is not correct is not false.; sent8 -> int3: the Yoruba is a kind of a monogram if that it is a deaconess that does not shoo is not right.; int2 & int3 -> int4: the Yoruba is a monogram.; int4 & sent12 -> int5: that the polygamist snuffles beachcomber hold.; sent10 -> int6: the polygamist is a kind of a Tamerlane if the fact that it is a Edwardian is right.; int6 & sent5 -> int7: the polygamist is a kind of a Tamerlane.; int5 & int7 -> int8: the polygamist snuffles beachcomber and is a Tamerlane.; int8 -> int9: there is something such that it does snuffle beachcomber and it is a kind of a Tamerlane.; int9 & sent11 -> hypothesis; __DISPROVED__