「「止む無くなくてその上摘み食いするということはない」ということは真実でない」物はある
fact1: 仮になにがしかのものはマクロ経済分析であるとすれば「忌み嫌わないし止む無い」ということは誤っている fact2: あるものは忌み嫌わなくてしかも摘み食いしない fact3: その間伐材は忌み嫌わない fact4: 「その間伐材は止む無くないが摘み食いする」ということは嘘だ fact5: 仮に「何らかのものは御有るがしかし捨て為さらない」ということは成り立たないならばそれはマクロ経済分析である fact6: 「「忌み嫌わないけれど摘み食いする」ということは嘘な」ものはある fact7: もしその間伐材は忌み嫌わないならば「止む無くないしかつ摘み食いしない」ということは誤っている fact8: 「止む無くないしまた摘み食いしない」ものはある fact9: 「あるものは忌み嫌わないが止む無い」ということは誤りだとしたら止む無いということはない fact10: もし仮にその間伐材は忌み嫌わないとしたら「それは止む無くなくてそれに摘み食いする」ということは偽である fact11: もしもその間伐材は忌み嫌わないとすると「それは止む無いし更に摘み食いしない」ということは嘘だ fact12: 「その間伐材は明るいということはないし薄ら寒くない」ということは誤りだ
fact7 & fact3 -> int1: 「その間伐材は止む無くないし更に摘み食いしない」ということは成り立つということはない; int1 -> hypothesis;
fact7 & fact3 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
この不完全複合語は止む無くない
fact13 -> int2: 「この不完全複合語は忌み嫌わない一方でそれは止む無い」ということは成り立たないとしたら止む無くない; fact14 -> int3: この不完全複合語はマクロ経済分析だとすれば「それは忌み嫌わないしかつ止む無い」ということは誤りである; fact15 -> int4: 仮に「この不完全複合語は御有るがしかし捨て為さらない」ということは成り立つということはないとするとそれはマクロ経済分析だ;
$facts$ = fact1: 仮になにがしかのものはマクロ経済分析であるとすれば「忌み嫌わないし止む無い」ということは誤っている fact2: あるものは忌み嫌わなくてしかも摘み食いしない fact3: その間伐材は忌み嫌わない fact4: 「その間伐材は止む無くないが摘み食いする」ということは嘘だ fact5: 仮に「何らかのものは御有るがしかし捨て為さらない」ということは成り立たないならばそれはマクロ経済分析である fact6: 「「忌み嫌わないけれど摘み食いする」ということは嘘な」ものはある fact7: もしその間伐材は忌み嫌わないならば「止む無くないしかつ摘み食いしない」ということは誤っている fact8: 「止む無くないしまた摘み食いしない」ものはある fact9: 「あるものは忌み嫌わないが止む無い」ということは誤りだとしたら止む無いということはない fact10: もし仮にその間伐材は忌み嫌わないとしたら「それは止む無くなくてそれに摘み食いする」ということは偽である fact11: もしもその間伐材は忌み嫌わないとすると「それは止む無いし更に摘み食いしない」ということは嘘だ fact12: 「その間伐材は明るいということはないし薄ら寒くない」ということは誤りだ ; $hypothesis$ = 「「止む無くなくてその上摘み食いするということはない」ということは真実でない」物はある ; $proof$ = 
fact7 & fact3 -> int1: 「その間伐材は止む無くないし更に摘み食いしない」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものはマクロ経済分析であるとすれば「忌み嫌わないし止む無い」ということは誤っている
事実2: あるものは忌み嫌わなくてしかも摘み食いしない
事実3: その間伐材は忌み嫌わない
事実4: 「その間伐材は止む無くないが摘み食いする」ということは嘘だ
事実5: 仮に「何らかのものは御有るがしかし捨て為さらない」ということは成り立たないならばそれはマクロ経済分析である
事実6: 「「忌み嫌わないけれど摘み食いする」ということは嘘な」ものはある
事実7: もしその間伐材は忌み嫌わないならば「止む無くないしかつ摘み食いしない」ということは誤っている
事実8: 「止む無くないしまた摘み食いしない」ものはある
事実9: 「あるものは忌み嫌わないが止む無い」ということは誤りだとしたら止む無いということはない
事実10: もし仮にその間伐材は忌み嫌わないとしたら「それは止む無くなくてそれに摘み食いする」ということは偽である
事実11: もしもその間伐材は忌み嫌わないとすると「それは止む無いし更に摘み食いしない」ということは嘘だ
事実12: 「その間伐材は明るいということはないし薄ら寒くない」ということは誤りだ

仮説: 「「止む無くなくてその上摘み食いするということはない」ということは真実でない」物はある
1. 事実7と事実3から、推論1: "「その間伐材は止む無くないし更に摘み食いしない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。