if the keg is insignificant that the worm is not a Watertown and/or it is not a half-term is not right.
sent1: if the keg is a clothespress then the fact that the worm is not a Watertown and/or it is not a half-term is wrong. sent2: if the fact that the keg is a kind of a clothespress is true then the worm is not a Watertown or is not a half-term or both. sent3: something is not insignificant if that it is an electric and it is not inner does not hold. sent4: that the fact that the worm is a Watertown and/or it is not a half-term is false if the fact that the keg is insignificant is not incorrect hold. sent5: if something is not electric that it is not insignificant is correct. sent6: if the worm is inner the fact that the keg is a Watertown and/or it is not electric does not hold. sent7: the worm is not insignificant. sent8: the fact that the fact that the worm is a Watertown and/or it is not a kind of a half-term does not hold is not wrong. sent9: that the worm is inner but it is not a half-term does not hold. sent10: if that the keg is a half-term but it is not a Watertown is false then it is not an electric. sent11: that the worm does not broom Kuomintang is not false. sent12: the swan is not a clothespress. sent13: a non-inner thing is a clothespress. sent14: either the worm is not a Watertown or it is not a half-term or both if the keg is insignificant. sent15: that the metaproterenol does bestrew updating and/or it is not inner does not hold.
sent3 -> int1: the keg is not insignificant if the fact that it is a kind of an electric and is not inner is not true.; void -> assump1: Let's assume that the fact that the keg is an electric but it is not inner does not hold.; int1 & assump1 -> int2: the keg is not insignificant.; void -> assump2: Let's assume that the keg is insignificant.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the keg is an electric but it is not inner.; int4 -> int5: the keg is not inner.; sent13 -> int6: the keg is a kind of a clothespress if it is not inner.; int5 & int6 -> int7: the keg is a clothespress.; int7 & sent1 -> int8: that the fact that the worm is not a Watertown and/or it is not a half-term does not hold hold.; [assump2] & int8 -> hypothesis;
$hypothesis$ = if the keg is insignificant that the worm is not a Watertown and/or it is not a half-term is not right. ; $context$ = sent1: if the keg is a clothespress then the fact that the worm is not a Watertown and/or it is not a half-term is wrong. sent2: if the fact that the keg is a kind of a clothespress is true then the worm is not a Watertown or is not a half-term or both. sent3: something is not insignificant if that it is an electric and it is not inner does not hold. sent4: that the fact that the worm is a Watertown and/or it is not a half-term is false if the fact that the keg is insignificant is not incorrect hold. sent5: if something is not electric that it is not insignificant is correct. sent6: if the worm is inner the fact that the keg is a Watertown and/or it is not electric does not hold. sent7: the worm is not insignificant. sent8: the fact that the fact that the worm is a Watertown and/or it is not a kind of a half-term does not hold is not wrong. sent9: that the worm is inner but it is not a half-term does not hold. sent10: if that the keg is a half-term but it is not a Watertown is false then it is not an electric. sent11: that the worm does not broom Kuomintang is not false. sent12: the swan is not a clothespress. sent13: a non-inner thing is a clothespress. sent14: either the worm is not a Watertown or it is not a half-term or both if the keg is insignificant. sent15: that the metaproterenol does bestrew updating and/or it is not inner does not hold. ; $proof$ = 
sent3 -> int1: the keg is not insignificant if the fact that it is a kind of an electric and is not inner is not true.; void -> assump1: Let's assume that the fact that the keg is an electric but it is not inner does not hold.; int1 & assump1 -> int2: the keg is not insignificant.; void -> assump2: Let's assume that the keg is insignificant.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the keg is an electric but it is not inner.; int4 -> int5: the keg is not inner.; sent13 -> int6: the keg is a kind of a clothespress if it is not inner.; int5 & int6 -> int7: the keg is a clothespress.; int7 & sent1 -> int8: that the fact that the worm is not a Watertown and/or it is not a half-term does not hold hold.; [assump2] & int8 -> hypothesis; __PROVED__