the appropriator is a cartoonist.
sent1: if that the sommelier does decoy shaman but it is not a Brumaire is not true it is not a billet. sent2: the appropriator is a cartoonist if the sommelier is a kind of a billet and does not decoy bitternut. sent3: something is a mesa and sterilizes Argive. sent4: if something that is not a Eisenstein does decoy bitternut that it is not a cartoonist hold. sent5: the sommelier is not a billet. sent6: something is not a kind of a billet and it does not decoy bitternut if it is a Eisenstein. sent7: that the sommelier decoys shaman but it is not a Brumaire is not right. sent8: something is not a kind of a mesa and it is not a elephant's-foot if it is not a Eisenstein. sent9: something is a kind of a rectus. sent10: there exists something such that it does not sterilize Argive. sent11: there is something such that it is a mesa and it does not sterilize Argive. sent12: the sommelier is not a cartoonist and it is not a Brumaire if the appropriator galvanizes. sent13: that the downpour does sterilize critic but it does not galvanize is not correct. sent14: if something is not a Eisenstein and it does not decoy bitternut then it is not a kind of a cartoonist. sent15: if the fact that something does not galvanize and is a billet is not right then it is not a billet. sent16: if the sommelier is not a billet and it does not decoy bitternut the appropriator is a kind of a cartoonist. sent17: the sommelier is not a billet and it is not a cartoonist. sent18: if there exists something such that that the fact that it does sterilize critic and it does not galvanize hold is not correct then the appropriator does galvanize. sent19: if the sommelier is not a cartoonist and it is not a Brumaire then the chaja is not a billet. sent20: if there is something such that it is a mesa that does not sterilize Argive then the sommelier is a Eisenstein.
sent11 & sent20 -> int1: the sommelier is a Eisenstein.; sent6 -> int2: if the sommelier is a Eisenstein then it is not a billet and it does not decoy bitternut.; int1 & int2 -> int3: the sommelier is not a kind of a billet and does not decoy bitternut.; int3 & sent16 -> hypothesis;
the appropriator is not a kind of a cartoonist.
sent4 -> int4: if the appropriator is not a kind of a Eisenstein but it decoys bitternut then it is not a cartoonist.;
$hypothesis$ = the appropriator is a cartoonist. ; $context$ = sent1: if that the sommelier does decoy shaman but it is not a Brumaire is not true it is not a billet. sent2: the appropriator is a cartoonist if the sommelier is a kind of a billet and does not decoy bitternut. sent3: something is a mesa and sterilizes Argive. sent4: if something that is not a Eisenstein does decoy bitternut that it is not a cartoonist hold. sent5: the sommelier is not a billet. sent6: something is not a kind of a billet and it does not decoy bitternut if it is a Eisenstein. sent7: that the sommelier decoys shaman but it is not a Brumaire is not right. sent8: something is not a kind of a mesa and it is not a elephant's-foot if it is not a Eisenstein. sent9: something is a kind of a rectus. sent10: there exists something such that it does not sterilize Argive. sent11: there is something such that it is a mesa and it does not sterilize Argive. sent12: the sommelier is not a cartoonist and it is not a Brumaire if the appropriator galvanizes. sent13: that the downpour does sterilize critic but it does not galvanize is not correct. sent14: if something is not a Eisenstein and it does not decoy bitternut then it is not a kind of a cartoonist. sent15: if the fact that something does not galvanize and is a billet is not right then it is not a billet. sent16: if the sommelier is not a billet and it does not decoy bitternut the appropriator is a kind of a cartoonist. sent17: the sommelier is not a billet and it is not a cartoonist. sent18: if there exists something such that that the fact that it does sterilize critic and it does not galvanize hold is not correct then the appropriator does galvanize. sent19: if the sommelier is not a cartoonist and it is not a Brumaire then the chaja is not a billet. sent20: if there is something such that it is a mesa that does not sterilize Argive then the sommelier is a Eisenstein. ; $proof$ = 
sent11 & sent20 -> int1: the sommelier is a Eisenstein.; sent6 -> int2: if the sommelier is a Eisenstein then it is not a billet and it does not decoy bitternut.; int1 & int2 -> int3: the sommelier is not a kind of a billet and does not decoy bitternut.; int3 & sent16 -> hypothesis; __PROVED__