that there exists something such that if it does harangue horology it is not a kind of a gone does not hold.
sent1: something is not Saxon if it does not ferment waist and it is not a kind of a bouchee. sent2: if something does not harangue sage and is not dissuasive it is not an element. sent3: if the jerk is a kind of non-verbal thing that does not inflect it is not acronymic. sent4: something is not a Carangidae if it does not harangue shellflower and it is a honkytonk. sent5: if something does not lend and is not dissuasive it is urinary. sent6: something is not verbal and it is not conventional if it harangues horology. sent7: the mackinaw does not harangue horology if it is metallurgical. sent8: something is not a rusher if it is not a caftan and it is an addendum. sent9: if something that is not verbal is not conventional then it does not go. sent10: something is not run-on and it is not an inferior if it harangues vasovasostomy. sent11: the aftermath is conventional if it is affined. sent12: if the aftermath does harangue horology then it is not verbal. sent13: the shellflower is not a kind of a fastener if it is a gone. sent14: if something is a quack then it is not a migration. sent15: if something is a kind of a sleeve then it is both not mud-brick and not a convolution. sent16: that the aftermath is a kind of a Saxon is not incorrect. sent17: if the sportswriter does not uncoil waist and is not inferior it is not gone. sent18: there is something such that if it does inflect it does uncoil primer. sent19: the hypochondriac is a Lilliput if it is both not verbal and not divisible.
sent6 -> int1: if the aftermath does harangue horology it is not verbal and it is not conventional.; void -> assump1: Let's assume that the aftermath does harangue horology.; int1 & assump1 -> int2: the aftermath is a kind of non-verbal thing that is not conventional.; sent9 -> int3: the aftermath does not go if it is not verbal and it is not conventional.; int2 & int3 -> int4: the aftermath does not go.; [assump1] & int4 -> int5: if the aftermath does harangue horology it is not gone.; int5 -> hypothesis;
$hypothesis$ = that there exists something such that if it does harangue horology it is not a kind of a gone does not hold. ; $context$ = sent1: something is not Saxon if it does not ferment waist and it is not a kind of a bouchee. sent2: if something does not harangue sage and is not dissuasive it is not an element. sent3: if the jerk is a kind of non-verbal thing that does not inflect it is not acronymic. sent4: something is not a Carangidae if it does not harangue shellflower and it is a honkytonk. sent5: if something does not lend and is not dissuasive it is urinary. sent6: something is not verbal and it is not conventional if it harangues horology. sent7: the mackinaw does not harangue horology if it is metallurgical. sent8: something is not a rusher if it is not a caftan and it is an addendum. sent9: if something that is not verbal is not conventional then it does not go. sent10: something is not run-on and it is not an inferior if it harangues vasovasostomy. sent11: the aftermath is conventional if it is affined. sent12: if the aftermath does harangue horology then it is not verbal. sent13: the shellflower is not a kind of a fastener if it is a gone. sent14: if something is a quack then it is not a migration. sent15: if something is a kind of a sleeve then it is both not mud-brick and not a convolution. sent16: that the aftermath is a kind of a Saxon is not incorrect. sent17: if the sportswriter does not uncoil waist and is not inferior it is not gone. sent18: there is something such that if it does inflect it does uncoil primer. sent19: the hypochondriac is a Lilliput if it is both not verbal and not divisible. ; $proof$ = 
sent6 -> int1: if the aftermath does harangue horology it is not verbal and it is not conventional.; void -> assump1: Let's assume that the aftermath does harangue horology.; int1 & assump1 -> int2: the aftermath is a kind of non-verbal thing that is not conventional.; sent9 -> int3: the aftermath does not go if it is not verbal and it is not conventional.; int2 & int3 -> int4: the aftermath does not go.; [assump1] & int4 -> int5: if the aftermath does harangue horology it is not gone.; int5 -> hypothesis; __DISPROVED__