the grit is a kind of a chlorthalidone.
sent1: if the fact that something is a sadist is correct it is not a patronage. sent2: that the scourer is not a Acaridae and is not a kind of a Houghton is wrong if there is something such that it is not a kind of a patronage. sent3: if the shinpad is a whistle and it is a kind of a Falla the cofactor does not patronage. sent4: the spearmint is not a kind of a Friesland but it is elemental. sent5: if the fact that the shinpad is a Falla is not false the grit is a kind of a chlorthalidone. sent6: the cofactor is autologous and/or elemental. sent7: the fact that something is both not a Falla and a Houghton does not hold if it is a calico. sent8: the grit is not autologous if there exists something such that that it is both not a Falla and a Houghton does not hold. sent9: something is not a whistle if it is a kind of a sadist. sent10: everything is a calico. sent11: there is something such that it does patronage. sent12: the fact that the scourer is both not a Acaridae and a Houghton is false if there exists something such that it is not a kind of a patronage. sent13: if the spearmint is not a kind of a Friesland but it is elemental then the cofactor does not whistle. sent14: the fact that the spearmint is a kind of a Acaridae hold if the scourer is duodenal. sent15: something is a sadist if it is not a patronage. sent16: something is autologous if it is not a kind of a whistle. sent17: the cofactor is not a patronage if it is a sadist. sent18: if that the scourer is not a Acaridae and not a Houghton is not true then the shinpad is a kind of a Falla. sent19: if the spearmint is a Acaridae then the grit does not patronage. sent20: the fact that the scourer is a kind of a Acaridae but it is not a Houghton is false. sent21: if something is either autologous or a sadist or both it does not patronage.
sent13 & sent4 -> int1: the cofactor is not a whistle.; sent16 -> int2: if the cofactor does not whistle it is autologous.; int1 & int2 -> int3: the cofactor is autologous.; int3 -> int4: either the cofactor is autologous or it is a kind of a sadist or both.; sent21 -> int5: the cofactor does not patronage if it is autologous and/or is a sadist.; int4 & int5 -> int6: the cofactor is not a patronage.; int6 -> int7: there is something such that it is not a patronage.; int7 & sent2 -> int8: that the scourer is not a Acaridae and it is not a kind of a Houghton does not hold.; int8 & sent18 -> int9: the shinpad is a Falla.; int9 & sent5 -> hypothesis;
the grit is not a kind of a chlorthalidone.
sent9 -> int10: if the grit is a sadist it is not a kind of a whistle.; sent15 -> int11: the grit is a sadist if it is not a patronage.; sent7 -> int12: if the shinpad is a calico that it is not a Falla but a Houghton is not right.; sent10 -> int13: the shinpad is a calico.; int12 & int13 -> int14: the fact that the shinpad is both not a Falla and a Houghton is not true.; int14 -> int15: there is nothing such that it is not a kind of a Falla and it is a Houghton.; int15 -> int16: the fact that the cofactor is both not a Falla and a Houghton does not hold.; int16 -> int17: there is something such that the fact that it is both not a Falla and a Houghton is false.; sent8 & int17 -> int18: the fact that the grit is not autologous is true.;
$hypothesis$ = the grit is a kind of a chlorthalidone. ; $context$ = sent1: if the fact that something is a sadist is correct it is not a patronage. sent2: that the scourer is not a Acaridae and is not a kind of a Houghton is wrong if there is something such that it is not a kind of a patronage. sent3: if the shinpad is a whistle and it is a kind of a Falla the cofactor does not patronage. sent4: the spearmint is not a kind of a Friesland but it is elemental. sent5: if the fact that the shinpad is a Falla is not false the grit is a kind of a chlorthalidone. sent6: the cofactor is autologous and/or elemental. sent7: the fact that something is both not a Falla and a Houghton does not hold if it is a calico. sent8: the grit is not autologous if there exists something such that that it is both not a Falla and a Houghton does not hold. sent9: something is not a whistle if it is a kind of a sadist. sent10: everything is a calico. sent11: there is something such that it does patronage. sent12: the fact that the scourer is both not a Acaridae and a Houghton is false if there exists something such that it is not a kind of a patronage. sent13: if the spearmint is not a kind of a Friesland but it is elemental then the cofactor does not whistle. sent14: the fact that the spearmint is a kind of a Acaridae hold if the scourer is duodenal. sent15: something is a sadist if it is not a patronage. sent16: something is autologous if it is not a kind of a whistle. sent17: the cofactor is not a patronage if it is a sadist. sent18: if that the scourer is not a Acaridae and not a Houghton is not true then the shinpad is a kind of a Falla. sent19: if the spearmint is a Acaridae then the grit does not patronage. sent20: the fact that the scourer is a kind of a Acaridae but it is not a Houghton is false. sent21: if something is either autologous or a sadist or both it does not patronage. ; $proof$ = 
sent13 & sent4 -> int1: the cofactor is not a whistle.; sent16 -> int2: if the cofactor does not whistle it is autologous.; int1 & int2 -> int3: the cofactor is autologous.; int3 -> int4: either the cofactor is autologous or it is a kind of a sadist or both.; sent21 -> int5: the cofactor does not patronage if it is autologous and/or is a sadist.; int4 & int5 -> int6: the cofactor is not a patronage.; int6 -> int7: there is something such that it is not a patronage.; int7 & sent2 -> int8: that the scourer is not a Acaridae and it is not a kind of a Houghton does not hold.; int8 & sent18 -> int9: the shinpad is a Falla.; int9 & sent5 -> hypothesis; __PROVED__