the fact that the O is a heterosexual and it is thalassic does not hold if it does not roughen obloquy.
sent1: that the sharpshooter does tittup and it is generative does not hold. sent2: that the fact that the liberal is not a cock-a-leekie and it is not thalassic does not hold hold. sent3: the fact that the O does not tittup but it does roughen obloquy is not correct. sent4: if there exists something such that that it is not a cock-a-leekie and it is not a lanolin is not true the O is not a enunciation. sent5: if there is something such that the fact that it is a kind of a enunciation is not false then that the sharpshooter is not a kind of a enunciation and it is non-generative does not hold. sent6: the O is not a enunciation if there is something such that it is a cock-a-leekie. sent7: the fact that the liberal is a cock-a-leekie and is not a lanolin is not right. sent8: the sharpshooter is not thalassic. sent9: if something is a lacteal that is not a kind of a enunciation it does not tittup. sent10: the sharpshooter is not a lacteal. sent11: there exists something such that the fact that it is both not a cock-a-leekie and a lanolin is not correct. sent12: that the appliance is sternutatory and it is a kind of a heterosexual is not right. sent13: the O is both a heterosexual and thalassic if it does not roughen obloquy. sent14: the sharpshooter tittups if the fact that it does not tittups and it is generative is false. sent15: the liberal is non-generative. sent16: the fact that the O does not tittup and does not roughen obloquy is not right if there is something such that that it tittup is not incorrect. sent17: there is something such that the fact that it is a cock-a-leekie and it is not a kind of a lanolin is not correct. sent18: the sharpshooter is not a fellah. sent19: something is not a cock-a-leekie and not a lanolin. sent20: the neurasthenic gravitates and is not latinate. sent21: if the O roughens obloquy then that it is both heterosexual and not non-thalassic does not hold. sent22: that the O does not tittup but it does roughen obloquy does not hold if something tittup. sent23: that the fact that the sharpshooter does not tittup but it is generative hold is not right. sent24: that the liberal is not a cock-a-leekie and it is not a kind of a lanolin does not hold. sent25: there exists something such that that it is not amygdaline and it is not anticyclonic is false.
sent24 -> int1: there is something such that that it is not a cock-a-leekie and it is not a lanolin is false.; int1 & sent4 -> int2: the O is not a enunciation.; void -> assump2: Let's assume that the O is a kind of a lacteal.; int2 & assump2 -> int3: the O is a kind of a lacteal but it is not a enunciation.; sent9 -> int4: the O does not tittup if it is a lacteal and it is not a kind of a enunciation.; int3 & int4 -> int5: the O does not tittup.; void -> assump1: Let's assume that the O does not roughen obloquy.; int5 & assump1 -> int6: the O does not tittup and does not roughen obloquy.; sent14 & sent23 -> int7: the sharpshooter tittups.; int7 -> int8: there exists something such that it tittups.; int8 & sent16 -> int9: that the O does not tittup and does not roughen obloquy does not hold.; int6 & int9 -> int10: this is contradiction.; [assump2] & int10 -> int11: the O is not a kind of a lacteal.;
$hypothesis$ = the fact that the O is a heterosexual and it is thalassic does not hold if it does not roughen obloquy. ; $context$ = sent1: that the sharpshooter does tittup and it is generative does not hold. sent2: that the fact that the liberal is not a cock-a-leekie and it is not thalassic does not hold hold. sent3: the fact that the O does not tittup but it does roughen obloquy is not correct. sent4: if there exists something such that that it is not a cock-a-leekie and it is not a lanolin is not true the O is not a enunciation. sent5: if there is something such that the fact that it is a kind of a enunciation is not false then that the sharpshooter is not a kind of a enunciation and it is non-generative does not hold. sent6: the O is not a enunciation if there is something such that it is a cock-a-leekie. sent7: the fact that the liberal is a cock-a-leekie and is not a lanolin is not right. sent8: the sharpshooter is not thalassic. sent9: if something is a lacteal that is not a kind of a enunciation it does not tittup. sent10: the sharpshooter is not a lacteal. sent11: there exists something such that the fact that it is both not a cock-a-leekie and a lanolin is not correct. sent12: that the appliance is sternutatory and it is a kind of a heterosexual is not right. sent13: the O is both a heterosexual and thalassic if it does not roughen obloquy. sent14: the sharpshooter tittups if the fact that it does not tittups and it is generative is false. sent15: the liberal is non-generative. sent16: the fact that the O does not tittup and does not roughen obloquy is not right if there is something such that that it tittup is not incorrect. sent17: there is something such that the fact that it is a cock-a-leekie and it is not a kind of a lanolin is not correct. sent18: the sharpshooter is not a fellah. sent19: something is not a cock-a-leekie and not a lanolin. sent20: the neurasthenic gravitates and is not latinate. sent21: if the O roughens obloquy then that it is both heterosexual and not non-thalassic does not hold. sent22: that the O does not tittup but it does roughen obloquy does not hold if something tittup. sent23: that the fact that the sharpshooter does not tittup but it is generative hold is not right. sent24: that the liberal is not a cock-a-leekie and it is not a kind of a lanolin does not hold. sent25: there exists something such that that it is not amygdaline and it is not anticyclonic is false. ; $proof$ = 
sent24 -> int1: there is something such that that it is not a cock-a-leekie and it is not a lanolin is false.; int1 & sent4 -> int2: the O is not a enunciation.; void -> assump2: Let's assume that the O is a kind of a lacteal.; int2 & assump2 -> int3: the O is a kind of a lacteal but it is not a enunciation.; sent9 -> int4: the O does not tittup if it is a lacteal and it is not a kind of a enunciation.; int3 & int4 -> int5: the O does not tittup.; void -> assump1: Let's assume that the O does not roughen obloquy.; int5 & assump1 -> int6: the O does not tittup and does not roughen obloquy.; sent14 & sent23 -> int7: the sharpshooter tittups.; int7 -> int8: there exists something such that it tittups.; int8 & sent16 -> int9: that the O does not tittup and does not roughen obloquy does not hold.; int6 & int9 -> int10: this is contradiction.; [assump2] & int10 -> int11: the O is not a kind of a lacteal.; __UNKNOWN__