the lout does not jar tune-up.
sent1: the sum is a showerhead that is a kind of a meet. sent2: the lout is a showerhead. sent3: the candlepins is an illegitimacy and it is a Zambian if the lout does not roar. sent4: the Huguenot is a Zambian if the fact that it is an illegitimacy is correct. sent5: the sum jars tune-up. sent6: the fact that the lout roars and does not emend Huguenot is not true if the Huguenot is a Zambian. sent7: if the fact that something is not a kind of a patched and is not apothegmatic does not hold it is an illegitimacy. sent8: that the Huguenot is not a patched and is not apothegmatic is not right. sent9: if something that is a showerhead does jar tune-up the fact that the fact that the Elinvar is a wounded is true is wrong. sent10: if that the lout is a roar that does not emend Huguenot does not hold then it is a wounded. sent11: the lout does not jar tune-up if it is a kind of a wounded and it is a showerhead.
sent7 -> int1: the Huguenot is an illegitimacy if the fact that it does not patch and it is not apothegmatic is not correct.; int1 & sent8 -> int2: the Huguenot is an illegitimacy.; int2 & sent4 -> int3: the Huguenot is a Zambian.; int3 & sent6 -> int4: the fact that the lout roars but it does not emend Huguenot is not right.; int4 & sent10 -> int5: the lout is a wounded.; int5 & sent2 -> int6: the lout is a kind of a wounded that is a kind of a showerhead.; int6 & sent11 -> hypothesis;
the candlepins is an illegitimacy.
sent1 -> int7: the sum is a showerhead.; int7 & sent5 -> int8: the sum is a kind of a showerhead that does jar tune-up.; int8 -> int9: something is a showerhead and it does jar tune-up.; int9 & sent9 -> int10: the Elinvar is not a wounded.; int10 -> int11: there is something such that it is not a kind of a wounded.;
$hypothesis$ = the lout does not jar tune-up. ; $context$ = sent1: the sum is a showerhead that is a kind of a meet. sent2: the lout is a showerhead. sent3: the candlepins is an illegitimacy and it is a Zambian if the lout does not roar. sent4: the Huguenot is a Zambian if the fact that it is an illegitimacy is correct. sent5: the sum jars tune-up. sent6: the fact that the lout roars and does not emend Huguenot is not true if the Huguenot is a Zambian. sent7: if the fact that something is not a kind of a patched and is not apothegmatic does not hold it is an illegitimacy. sent8: that the Huguenot is not a patched and is not apothegmatic is not right. sent9: if something that is a showerhead does jar tune-up the fact that the fact that the Elinvar is a wounded is true is wrong. sent10: if that the lout is a roar that does not emend Huguenot does not hold then it is a wounded. sent11: the lout does not jar tune-up if it is a kind of a wounded and it is a showerhead. ; $proof$ = 
sent7 -> int1: the Huguenot is an illegitimacy if the fact that it does not patch and it is not apothegmatic is not correct.; int1 & sent8 -> int2: the Huguenot is an illegitimacy.; int2 & sent4 -> int3: the Huguenot is a Zambian.; int3 & sent6 -> int4: the fact that the lout roars but it does not emend Huguenot is not right.; int4 & sent10 -> int5: the lout is a wounded.; int5 & sent2 -> int6: the lout is a kind of a wounded that is a kind of a showerhead.; int6 & sent11 -> hypothesis; __PROVED__