that the misanthrope ornaments is not wrong.
sent1: the sadhu does not thrust Lasiocampidae if the offerer thrust Lasiocampidae and is not a problem. sent2: something does not ornament and it does not uncoil if it is vertebrate. sent3: something that is a kind of non-social thing that is not nonresidential is not vertebrate. sent4: the motormouth is a kind of unsocial thing that is not nonresidential. sent5: if something is not Ptolemaic then it does thrust Lasiocampidae and is not a kind of a problem. sent6: if there exists something such that it uncoils and does not thrust Lasiocampidae then the misanthrope does ornament. sent7: the sadhu is not appositional but it is a canfield if it does not uncoil. sent8: the offerer is non-Ptolemaic. sent9: the motormouth is not vertebrate if a non-appositional thing is a kind of a canfield.
void -> assump1: Let's assume that the sadhu does not uncoil.; sent7 & assump1 -> int1: the sadhu is non-appositional a canfield.; int1 -> int2: something is not appositional and is a kind of a canfield.; int2 & sent9 -> int3: the fact that the motormouth is not vertebrate is not wrong.; sent3 -> int4: if the motormouth is not social and it is not nonresidential then it is a kind of a vertebrate.; int4 & sent4 -> int5: that the motormouth is vertebrate is not false.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sadhu uncoils.; sent5 -> int8: if the offerer is not Ptolemaic it thrusts Lasiocampidae and it is not a problem.; int8 & sent8 -> int9: the offerer does thrust Lasiocampidae and is not a problem.; sent1 & int9 -> int10: the sadhu does not thrust Lasiocampidae.; int7 & int10 -> int11: the sadhu does uncoil and does not thrust Lasiocampidae.; int11 -> int12: there is something such that it does uncoil and does not thrust Lasiocampidae.; int12 & sent6 -> hypothesis;
the misanthrope does not ornament.
sent2 -> int13: if the misanthrope is vertebrate it does not ornament and does not uncoil.;
$hypothesis$ = that the misanthrope ornaments is not wrong. ; $context$ = sent1: the sadhu does not thrust Lasiocampidae if the offerer thrust Lasiocampidae and is not a problem. sent2: something does not ornament and it does not uncoil if it is vertebrate. sent3: something that is a kind of non-social thing that is not nonresidential is not vertebrate. sent4: the motormouth is a kind of unsocial thing that is not nonresidential. sent5: if something is not Ptolemaic then it does thrust Lasiocampidae and is not a kind of a problem. sent6: if there exists something such that it uncoils and does not thrust Lasiocampidae then the misanthrope does ornament. sent7: the sadhu is not appositional but it is a canfield if it does not uncoil. sent8: the offerer is non-Ptolemaic. sent9: the motormouth is not vertebrate if a non-appositional thing is a kind of a canfield. ; $proof$ = 
void -> assump1: Let's assume that the sadhu does not uncoil.; sent7 & assump1 -> int1: the sadhu is non-appositional a canfield.; int1 -> int2: something is not appositional and is a kind of a canfield.; int2 & sent9 -> int3: the fact that the motormouth is not vertebrate is not wrong.; sent3 -> int4: if the motormouth is not social and it is not nonresidential then it is a kind of a vertebrate.; int4 & sent4 -> int5: that the motormouth is vertebrate is not false.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sadhu uncoils.; sent5 -> int8: if the offerer is not Ptolemaic it thrusts Lasiocampidae and it is not a problem.; int8 & sent8 -> int9: the offerer does thrust Lasiocampidae and is not a problem.; sent1 & int9 -> int10: the sadhu does not thrust Lasiocampidae.; int7 & int10 -> int11: the sadhu does uncoil and does not thrust Lasiocampidae.; int11 -> int12: there is something such that it does uncoil and does not thrust Lasiocampidae.; int12 & sent6 -> hypothesis; __PROVED__