the sitter is a kind of a thorn.
sent1: if something is not a monopoly and/or it is not a thorn it is not a thorn. sent2: if something does exalt illiteracy then it is a monopoly. sent3: that the fact that that the sunlamp does not perceive Lubitsch and/or is unrecoverable is not false is not right hold if that the chambray does perceive lookdown hold. sent4: something does not exalt rhizome if that it is not a compounded and exalt rhizome is false. sent5: if the biter is a allopurinol but it is not a monopoly then that the sunlamp exalts illiteracy is not wrong. sent6: that the sitter does exalt illiteracy is not incorrect. sent7: that that the bookend is not a compounded and does exalt rhizome is not right hold. sent8: if the sunlamp is a monopoly the sitter is a thorn. sent9: if the biter is a kind of flagellate thing that is not a allopurinol the sunlamp exalts illiteracy. sent10: the biter flagellates but it is not a allopurinol. sent11: if the bookend does perceive lookdown the chambray does perceive lookdown. sent12: the fact that the biter is a flagellate is right. sent13: if the biter exalts illiteracy but it is not a monopoly the sunlamp is a allopurinol. sent14: the sunlamp is a flagellate. sent15: something does perceive lookdown if it does not exalt rhizome. sent16: if there exists something such that the fact that it does not perceive Lubitsch or it is unrecoverable or both does not hold then the biter does not exalt illiteracy.
sent9 & sent10 -> int1: the sunlamp exalts illiteracy.; sent2 -> int2: the sunlamp is a monopoly if it does exalt illiteracy.; int1 & int2 -> int3: the sunlamp is a kind of a monopoly.; int3 & sent8 -> hypothesis;
the sitter is not a kind of a thorn.
sent1 -> int4: if the sitter either is not a monopoly or is not a thorn or both it is not a thorn.; sent15 -> int5: the bookend perceives lookdown if it does not exalt rhizome.; sent4 -> int6: the bookend does not exalt rhizome if the fact that it is non-compounded thing that exalt rhizome is not true.; int6 & sent7 -> int7: the bookend does not exalt rhizome.; int5 & int7 -> int8: the bookend perceives lookdown.; sent11 & int8 -> int9: the chambray perceives lookdown.; sent3 & int9 -> int10: that the sunlamp does not perceive Lubitsch and/or it is not recoverable is not correct.; int10 -> int11: there exists something such that the fact that it does not perceive Lubitsch or it is unrecoverable or both is not true.; int11 & sent16 -> int12: the biter does not exalt illiteracy.; int12 -> int13: there exists something such that it does not exalt illiteracy.;
$hypothesis$ = the sitter is a kind of a thorn. ; $context$ = sent1: if something is not a monopoly and/or it is not a thorn it is not a thorn. sent2: if something does exalt illiteracy then it is a monopoly. sent3: that the fact that that the sunlamp does not perceive Lubitsch and/or is unrecoverable is not false is not right hold if that the chambray does perceive lookdown hold. sent4: something does not exalt rhizome if that it is not a compounded and exalt rhizome is false. sent5: if the biter is a allopurinol but it is not a monopoly then that the sunlamp exalts illiteracy is not wrong. sent6: that the sitter does exalt illiteracy is not incorrect. sent7: that that the bookend is not a compounded and does exalt rhizome is not right hold. sent8: if the sunlamp is a monopoly the sitter is a thorn. sent9: if the biter is a kind of flagellate thing that is not a allopurinol the sunlamp exalts illiteracy. sent10: the biter flagellates but it is not a allopurinol. sent11: if the bookend does perceive lookdown the chambray does perceive lookdown. sent12: the fact that the biter is a flagellate is right. sent13: if the biter exalts illiteracy but it is not a monopoly the sunlamp is a allopurinol. sent14: the sunlamp is a flagellate. sent15: something does perceive lookdown if it does not exalt rhizome. sent16: if there exists something such that the fact that it does not perceive Lubitsch or it is unrecoverable or both does not hold then the biter does not exalt illiteracy. ; $proof$ = 
sent9 & sent10 -> int1: the sunlamp exalts illiteracy.; sent2 -> int2: the sunlamp is a monopoly if it does exalt illiteracy.; int1 & int2 -> int3: the sunlamp is a kind of a monopoly.; int3 & sent8 -> hypothesis; __PROVED__