the scriptorium is not tomentose.
sent1: the spouse is a kind of thrifty a weathercock if it is not tomentose. sent2: the scriptorium is not non-hydropathic but an alluring. sent3: if something is savory then the fact that it grumbles rib hold. sent4: something is not tomentose but it is a kind of an alluring if it is non-thrifty. sent5: the scriptorium is not thrifty if there is something such that it is hydropathic thing that is antitypic. sent6: something is hydropathic if it is a pistoleer. sent7: that the scriptorium does not ulcerate is not false if something that is antitypic is thrifty. sent8: the ice does remove and it is postglacial. sent9: if that the spouse does not teach is not incorrect it is a kind of a weathercock and it ulcerates. sent10: the fact that the spouse is a pistoleer is not wrong. sent11: the fact that something does teach and is not hydropathic is not true if that it is non-antitypic is correct. sent12: if something is a weathercock it is antitypic. sent13: if something does not severalize cephalosporin then it is not a Cnidoscolus and it is a salinometer. sent14: the spouse does not teach. sent15: the scriptorium is not non-tomentose if that the spouse does not teach and is antitypic is wrong. sent16: if the Franciscan is hydropathic the fact that the spouse does not teach and is antitypic is not right. sent17: the fact that the rib teaches is not false. sent18: something does not channel and is Ghanaian if it does not teach. sent19: a recessional thing is a horizontal.
sent9 & sent14 -> int1: the spouse is a kind of a weathercock and it does ulcerate.; int1 -> int2: the fact that the spouse is a weathercock is true.; sent12 -> int3: the spouse is antitypic if it is a weathercock.; int2 & int3 -> int4: the spouse is antitypic.; sent6 -> int5: the spouse is hydropathic if it is a pistoleer.; int5 & sent10 -> int6: the spouse is hydropathic.; int4 & int6 -> int7: the spouse is hydropathic and it is antitypic.; int7 -> int8: there is something such that it is hydropathic and antitypic.; int8 & sent5 -> int9: the scriptorium is not thrifty.; sent4 -> int10: if the scriptorium is not thrifty then it is not tomentose and is an alluring.; int9 & int10 -> int11: the scriptorium is both not tomentose and an alluring.; int11 -> hypothesis;
the streetcar is not a channels and is Ghanaian.
sent18 -> int12: the streetcar is not a channels but Ghanaian if it does not teach.; sent11 -> int13: that the streetcar does teach and is not hydropathic is not right if the fact that it is not antitypic is correct.;
$hypothesis$ = the scriptorium is not tomentose. ; $context$ = sent1: the spouse is a kind of thrifty a weathercock if it is not tomentose. sent2: the scriptorium is not non-hydropathic but an alluring. sent3: if something is savory then the fact that it grumbles rib hold. sent4: something is not tomentose but it is a kind of an alluring if it is non-thrifty. sent5: the scriptorium is not thrifty if there is something such that it is hydropathic thing that is antitypic. sent6: something is hydropathic if it is a pistoleer. sent7: that the scriptorium does not ulcerate is not false if something that is antitypic is thrifty. sent8: the ice does remove and it is postglacial. sent9: if that the spouse does not teach is not incorrect it is a kind of a weathercock and it ulcerates. sent10: the fact that the spouse is a pistoleer is not wrong. sent11: the fact that something does teach and is not hydropathic is not true if that it is non-antitypic is correct. sent12: if something is a weathercock it is antitypic. sent13: if something does not severalize cephalosporin then it is not a Cnidoscolus and it is a salinometer. sent14: the spouse does not teach. sent15: the scriptorium is not non-tomentose if that the spouse does not teach and is antitypic is wrong. sent16: if the Franciscan is hydropathic the fact that the spouse does not teach and is antitypic is not right. sent17: the fact that the rib teaches is not false. sent18: something does not channel and is Ghanaian if it does not teach. sent19: a recessional thing is a horizontal. ; $proof$ = 
sent9 & sent14 -> int1: the spouse is a kind of a weathercock and it does ulcerate.; int1 -> int2: the fact that the spouse is a weathercock is true.; sent12 -> int3: the spouse is antitypic if it is a weathercock.; int2 & int3 -> int4: the spouse is antitypic.; sent6 -> int5: the spouse is hydropathic if it is a pistoleer.; int5 & sent10 -> int6: the spouse is hydropathic.; int4 & int6 -> int7: the spouse is hydropathic and it is antitypic.; int7 -> int8: there is something such that it is hydropathic and antitypic.; int8 & sent5 -> int9: the scriptorium is not thrifty.; sent4 -> int10: if the scriptorium is not thrifty then it is not tomentose and is an alluring.; int9 & int10 -> int11: the scriptorium is both not tomentose and an alluring.; int11 -> hypothesis; __PROVED__