the tureen is not mousy.
sent1: the plasm is not a Abelard. sent2: something is a Xenosauridae if it is a matriculation. sent3: if there is something such that it is not a wheatworm then the tureen backhands and it is mousy. sent4: the plasm is a matriculation if there exists something such that the fact that it does not conscript handicap is correct. sent5: if something that denationalizes Castoridae is a Xenosauridae then it is not a wheatworm. sent6: the plasm is retentive and it is a Hogg. sent7: if that the plasm is not a kind of a Abelard hold it rains. sent8: if there exists something such that it is not a kind of a wheatworm the tureen does backhand. sent9: the tureen is a backhand. sent10: there is something such that the fact that it does conscript handicap and it is anginal is false. sent11: the plasm is a matriculation if there exists something such that that it conscripts handicap and is anginal is wrong. sent12: the fact that the shogun does denationalize Castoridae and it transships sparid is right. sent13: if the plasm is not a Abelard it does denationalize Castoridae and it is a kind of a rain. sent14: the plasm is a rain. sent15: that the tureen does conscript tureen and it rains is right. sent16: there is something such that it is a wheatworm. sent17: if the tureen is a Xenosauridae it is mousy.
sent10 & sent11 -> int1: the plasm is a matriculation.; sent2 -> int2: the plasm is a Xenosauridae if it is a kind of a matriculation.; int1 & int2 -> int3: the plasm is a kind of a Xenosauridae.; sent13 & sent1 -> int4: the plasm denationalizes Castoridae and does rain.; int4 -> int5: the plasm does denationalize Castoridae.; int3 & int5 -> int6: the plasm denationalizes Castoridae and is a Xenosauridae.; sent5 -> int7: the plasm is not a wheatworm if it denationalizes Castoridae and is a Xenosauridae.; int6 & int7 -> int8: the fact that the plasm is not a kind of a wheatworm is correct.; int8 -> int9: there exists something such that it is not a kind of a wheatworm.; int9 & sent3 -> int10: the tureen is both backhand and mousy.; int10 -> hypothesis;
$hypothesis$ = the tureen is not mousy. ; $context$ = sent1: the plasm is not a Abelard. sent2: something is a Xenosauridae if it is a matriculation. sent3: if there is something such that it is not a wheatworm then the tureen backhands and it is mousy. sent4: the plasm is a matriculation if there exists something such that the fact that it does not conscript handicap is correct. sent5: if something that denationalizes Castoridae is a Xenosauridae then it is not a wheatworm. sent6: the plasm is retentive and it is a Hogg. sent7: if that the plasm is not a kind of a Abelard hold it rains. sent8: if there exists something such that it is not a kind of a wheatworm the tureen does backhand. sent9: the tureen is a backhand. sent10: there is something such that the fact that it does conscript handicap and it is anginal is false. sent11: the plasm is a matriculation if there exists something such that that it conscripts handicap and is anginal is wrong. sent12: the fact that the shogun does denationalize Castoridae and it transships sparid is right. sent13: if the plasm is not a Abelard it does denationalize Castoridae and it is a kind of a rain. sent14: the plasm is a rain. sent15: that the tureen does conscript tureen and it rains is right. sent16: there is something such that it is a wheatworm. sent17: if the tureen is a Xenosauridae it is mousy. ; $proof$ = 
sent10 & sent11 -> int1: the plasm is a matriculation.; sent2 -> int2: the plasm is a Xenosauridae if it is a kind of a matriculation.; int1 & int2 -> int3: the plasm is a kind of a Xenosauridae.; sent13 & sent1 -> int4: the plasm denationalizes Castoridae and does rain.; int4 -> int5: the plasm does denationalize Castoridae.; int3 & int5 -> int6: the plasm denationalizes Castoridae and is a Xenosauridae.; sent5 -> int7: the plasm is not a wheatworm if it denationalizes Castoridae and is a Xenosauridae.; int6 & int7 -> int8: the fact that the plasm is not a kind of a wheatworm is correct.; int8 -> int9: there exists something such that it is not a kind of a wheatworm.; int9 & sent3 -> int10: the tureen is both backhand and mousy.; int10 -> hypothesis; __DISPROVED__