the backstitch does grease moderator.
sent1: there is something such that it is a lie-in. sent2: if the manganite is a lie-in but it does not list then the habergeon is not a lie-in. sent3: that the moderator lists but it does not clear is false if the manganite is a lists. sent4: if the moderator clears then it does not clear tricot. sent5: something does not grease moderator if that it does not clear rumor and does not clear tricot does not hold. sent6: that the cathedral does not bonnet purulence and it does not clear does not hold. sent7: that the backstitch does clear rumor but it does not clear tricot is not right. sent8: something that does not list is clearing or is not a lie-in or both. sent9: something greases moderator if it is a lie-in. sent10: the fact that the backstitch does not clear rumor and it does not clear tricot is not true if the moderator does not clear tricot. sent11: if the fact that the moderator lists but it is non-clearing is not correct it does not clear tricot. sent12: if the manganite is a list that the moderator is a list that does clear is wrong. sent13: if the backstitch does clear rumor it does not grease moderator. sent14: the manganite is a list if that something is a lie-in is not wrong.
sent1 & sent14 -> int1: the manganite is a list.; int1 & sent3 -> int2: that the moderator is a list that is not a kind of a clearing is false.; int2 & sent11 -> int3: the moderator does not clear tricot.; int3 & sent10 -> int4: that the backstitch does not clear rumor and it does not clear tricot is not correct.; sent5 -> int5: the backstitch does not grease moderator if the fact that it does not clear rumor and does not clear tricot does not hold.; int4 & int5 -> hypothesis;
the backstitch greases moderator.
sent9 -> int6: if the backstitch is a lie-in then it does grease moderator.; sent8 -> int7: if that the manganite is not a list hold then it clears and/or it is not a lie-in.;
$hypothesis$ = the backstitch does grease moderator. ; $context$ = sent1: there is something such that it is a lie-in. sent2: if the manganite is a lie-in but it does not list then the habergeon is not a lie-in. sent3: that the moderator lists but it does not clear is false if the manganite is a lists. sent4: if the moderator clears then it does not clear tricot. sent5: something does not grease moderator if that it does not clear rumor and does not clear tricot does not hold. sent6: that the cathedral does not bonnet purulence and it does not clear does not hold. sent7: that the backstitch does clear rumor but it does not clear tricot is not right. sent8: something that does not list is clearing or is not a lie-in or both. sent9: something greases moderator if it is a lie-in. sent10: the fact that the backstitch does not clear rumor and it does not clear tricot is not true if the moderator does not clear tricot. sent11: if the fact that the moderator lists but it is non-clearing is not correct it does not clear tricot. sent12: if the manganite is a list that the moderator is a list that does clear is wrong. sent13: if the backstitch does clear rumor it does not grease moderator. sent14: the manganite is a list if that something is a lie-in is not wrong. ; $proof$ = 
sent1 & sent14 -> int1: the manganite is a list.; int1 & sent3 -> int2: that the moderator is a list that is not a kind of a clearing is false.; int2 & sent11 -> int3: the moderator does not clear tricot.; int3 & sent10 -> int4: that the backstitch does not clear rumor and it does not clear tricot is not correct.; sent5 -> int5: the backstitch does not grease moderator if the fact that it does not clear rumor and does not clear tricot does not hold.; int4 & int5 -> hypothesis; __DISPROVED__