the lithium is not a kind of a coupon but it is a stablemate.
sent1: that the welder is a cactus is true. sent2: the washout exempts shallot if the Carver is an alienation. sent3: either the Carver is reciprocal or it is a cactus or both if it is not a kind of a Vespula. sent4: the Carver is an alienation or it is a cactus or both if it is not reciprocal. sent5: the fact that the washout is not a kind of a bluebottle but it is a trimaran does not hold. sent6: if the washout is a bluebottle then that the shower is a trimaran and it is a bluebottle is incorrect. sent7: the lithium submerges. sent8: if something is a kind of a Vespula then it is a bluebottle. sent9: if something does clean meteorologist then it is a stablemate. sent10: something is not a coupon but it is a kind of a stablemate if the fact that it cleans meteorologist hold. sent11: that the Carver is not an alienation but it is a coupon is not correct. sent12: if the washout is a bluebottle that the shower is not a kind of a trimaran but it is a bluebottle is false. sent13: the lithium is a kind of a stablemate. sent14: the lithium does clean meteorologist if the shower is a trimaran. sent15: if that the shower is not a trimaran but it is a bluebottle is incorrect the lithium cleans meteorologist. sent16: the lithium is not a kind of a bluebottle but it is a stablemate. sent17: the washout is both a bluebottle and a trimaran if the fact that it does not clean meteorologist is true. sent18: if the washout is bicapsular the fact that it is rectal is right. sent19: the Carver is rectal if the fact that the shower is not a bluebottle and is reciprocal is false. sent20: the Carver is not a reciprocal. sent21: the washout is not a kind of a reciprocal. sent22: if something exempts shallot then it is rectal. sent23: if a bluebottle is a kind of a trimaran the Carver is not rectal. sent24: that if the Carver is the trimaran then the Carver is a cactus is right. sent25: the fact that the shower is a trimaran and a bluebottle is false. sent26: that the lithium is not a reciprocal if the Carver is a reciprocal and/or it does not exempt shallot is not false. sent27: if something is rectal it is a Vespula. sent28: the fact that the washout exempts shallot is right if the Carver is a cactus. sent29: if the lithium does clean meteorologist it is a stablemate.
sent4 & sent20 -> int1: the Carver either is an alienation or is a cactus or both.; int1 & sent2 & sent28 -> int2: the washout does exempt shallot.; sent22 -> int3: if the washout exempts shallot it is rectal.; int2 & int3 -> int4: that the washout is rectal is true.; sent27 -> int5: the washout is a Vespula if it is rectal.; int4 & int5 -> int6: the washout is a kind of a Vespula.; sent8 -> int7: if the washout is a Vespula it is a bluebottle.; int6 & int7 -> int8: the washout is a kind of a bluebottle.; int8 & sent12 -> int9: the fact that the fact that the shower is not a trimaran and is a bluebottle is correct is not correct.; int9 & sent15 -> int10: the lithium cleans meteorologist.; sent10 -> int11: if the lithium does clean meteorologist it is not a coupon and is a stablemate.; int10 & int11 -> hypothesis;
the stupid is not a Vespula.
$hypothesis$ = the lithium is not a kind of a coupon but it is a stablemate. ; $context$ = sent1: that the welder is a cactus is true. sent2: the washout exempts shallot if the Carver is an alienation. sent3: either the Carver is reciprocal or it is a cactus or both if it is not a kind of a Vespula. sent4: the Carver is an alienation or it is a cactus or both if it is not reciprocal. sent5: the fact that the washout is not a kind of a bluebottle but it is a trimaran does not hold. sent6: if the washout is a bluebottle then that the shower is a trimaran and it is a bluebottle is incorrect. sent7: the lithium submerges. sent8: if something is a kind of a Vespula then it is a bluebottle. sent9: if something does clean meteorologist then it is a stablemate. sent10: something is not a coupon but it is a kind of a stablemate if the fact that it cleans meteorologist hold. sent11: that the Carver is not an alienation but it is a coupon is not correct. sent12: if the washout is a bluebottle that the shower is not a kind of a trimaran but it is a bluebottle is false. sent13: the lithium is a kind of a stablemate. sent14: the lithium does clean meteorologist if the shower is a trimaran. sent15: if that the shower is not a trimaran but it is a bluebottle is incorrect the lithium cleans meteorologist. sent16: the lithium is not a kind of a bluebottle but it is a stablemate. sent17: the washout is both a bluebottle and a trimaran if the fact that it does not clean meteorologist is true. sent18: if the washout is bicapsular the fact that it is rectal is right. sent19: the Carver is rectal if the fact that the shower is not a bluebottle and is reciprocal is false. sent20: the Carver is not a reciprocal. sent21: the washout is not a kind of a reciprocal. sent22: if something exempts shallot then it is rectal. sent23: if a bluebottle is a kind of a trimaran the Carver is not rectal. sent24: that if the Carver is the trimaran then the Carver is a cactus is right. sent25: the fact that the shower is a trimaran and a bluebottle is false. sent26: that the lithium is not a reciprocal if the Carver is a reciprocal and/or it does not exempt shallot is not false. sent27: if something is rectal it is a Vespula. sent28: the fact that the washout exempts shallot is right if the Carver is a cactus. sent29: if the lithium does clean meteorologist it is a stablemate. ; $proof$ = 
sent4 & sent20 -> int1: the Carver either is an alienation or is a cactus or both.; int1 & sent2 & sent28 -> int2: the washout does exempt shallot.; sent22 -> int3: if the washout exempts shallot it is rectal.; int2 & int3 -> int4: that the washout is rectal is true.; sent27 -> int5: the washout is a Vespula if it is rectal.; int4 & int5 -> int6: the washout is a kind of a Vespula.; sent8 -> int7: if the washout is a Vespula it is a bluebottle.; int6 & int7 -> int8: the washout is a kind of a bluebottle.; int8 & sent12 -> int9: the fact that the fact that the shower is not a trimaran and is a bluebottle is correct is not correct.; int9 & sent15 -> int10: the lithium cleans meteorologist.; sent10 -> int11: if the lithium does clean meteorologist it is not a coupon and is a stablemate.; int10 & int11 -> hypothesis; __PROVED__