the fact that the litter is a wink hold.
sent1: the methyl is stemmatic. sent2: something does tint nosh if it is not a kind of a Zimbalist. sent3: if the litter is a Zimbalist the methyl winks. sent4: the litter beckons Zimbalist. sent5: if that the methyl is stemmatic but not Zolaesque is false then the sunbeam is stemmatic. sent6: if the litter tints nosh then the cockroach does beckon MSG. sent7: something does not beckon Zimbalist. sent8: the fact that the fact that the litter is a kind of a Zimbalist is not incorrect if the cockroach does not beckon MSG and does not tint nosh is true. sent9: something is a wink but it is not stemmatic if it is not Zolaesque. sent10: the fact that the cockroach beckons Zimbalist and it is a kind of a tapestry is incorrect. sent11: the fact that something is a kind of stemmatic thing that is not Zolaesque is wrong if it is a kind of a wink. sent12: the litter is not a kind of a Zimbalist if it is not non-Zolaesque and does wink. sent13: that the cockroach does not beckon MSG is not incorrect if the fact that it does not beckon Zimbalist and it is a tapestry is not correct. sent14: the fact that the fact that the cockroach does not beckon Zimbalist and is a kind of a tapestry hold is not true. sent15: the methyl is not a kind of a Zimbalist. sent16: the litter is Zolaesque if the methyl is stemmatic.
sent16 & sent1 -> int1: the litter is Zolaesque.; void -> assump1: Let's assume that the litter winks.; int1 & assump1 -> int2: the litter is Zolaesque thing that is a wink.; int2 & sent12 -> int3: the litter is not a Zimbalist.; sent2 -> int4: if the litter is not a Zimbalist then the fact that it tints nosh hold.; int3 & int4 -> int5: the litter does tint nosh.; int5 & sent6 -> int6: the cockroach beckons MSG.; sent13 & sent14 -> int7: the cockroach does not beckon MSG.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the litter is a kind of a wink.
sent9 -> int9: the litter is a kind of a wink but it is not stemmatic if it is not Zolaesque.;
$hypothesis$ = the fact that the litter is a wink hold. ; $context$ = sent1: the methyl is stemmatic. sent2: something does tint nosh if it is not a kind of a Zimbalist. sent3: if the litter is a Zimbalist the methyl winks. sent4: the litter beckons Zimbalist. sent5: if that the methyl is stemmatic but not Zolaesque is false then the sunbeam is stemmatic. sent6: if the litter tints nosh then the cockroach does beckon MSG. sent7: something does not beckon Zimbalist. sent8: the fact that the fact that the litter is a kind of a Zimbalist is not incorrect if the cockroach does not beckon MSG and does not tint nosh is true. sent9: something is a wink but it is not stemmatic if it is not Zolaesque. sent10: the fact that the cockroach beckons Zimbalist and it is a kind of a tapestry is incorrect. sent11: the fact that something is a kind of stemmatic thing that is not Zolaesque is wrong if it is a kind of a wink. sent12: the litter is not a kind of a Zimbalist if it is not non-Zolaesque and does wink. sent13: that the cockroach does not beckon MSG is not incorrect if the fact that it does not beckon Zimbalist and it is a tapestry is not correct. sent14: the fact that the fact that the cockroach does not beckon Zimbalist and is a kind of a tapestry hold is not true. sent15: the methyl is not a kind of a Zimbalist. sent16: the litter is Zolaesque if the methyl is stemmatic. ; $proof$ = 
sent16 & sent1 -> int1: the litter is Zolaesque.; void -> assump1: Let's assume that the litter winks.; int1 & assump1 -> int2: the litter is Zolaesque thing that is a wink.; int2 & sent12 -> int3: the litter is not a Zimbalist.; sent2 -> int4: if the litter is not a Zimbalist then the fact that it tints nosh hold.; int3 & int4 -> int5: the litter does tint nosh.; int5 & sent6 -> int6: the cockroach beckons MSG.; sent13 & sent14 -> int7: the cockroach does not beckon MSG.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__