その第六章は後ろめたくない
fact1: その第六章がむくつけしとすればそれは梻でなくておまけに後ろめたくない fact2: もしもむくつけしということはないものが後ろめたくないとしたらあの缶剣玉は梻でない fact3: 臨時ニュースは嫌味っぽくないしさらに後ろめたくない fact4: あの缶剣玉はむくつけしない fact5: なんらかのものは退社しない fact6: 「「むくつけしない」ということは事実である」ものはある fact7: もし「あるものは悪しいが恨みはましくらない」ということは間違いだとしたらそれは梻だということはない fact8: もし「なんらかのものは昇降だということはないけれど梻だ」ということは成り立たないとするとそれは梻でない fact9: もし仮に「むくつけしないし退社しない」物があるとすればその第六章は後ろめたくない fact10: ある物はむくつけしということはないがしかし退社する fact11: 「「侘しいしそれに固くない」ということは本当である」ものはある fact12: もし仮にあの缶剣玉が恨みはましくらないしその上悪しいないとすれば昇降でない fact13: あの缶剣玉は梻だ fact14: 「あの缶剣玉は梻である」ということは成り立てばむくつけしないししかも退社しない fact15: もしあの缶剣玉は梻であるとするとそれはむくつけしない fact16: 「むくつけしけれど退社しない」物はある fact17: 「後ろめたい一方で退社しない」物はある fact18: もしも「何らかの物は後ろめたくないし更に昇降でない」ということは間違いであるなら「後ろめたい」ということは正しい fact19: 「香ばしかない」物はある
fact14 & fact13 -> int1: あの缶剣玉はむくつけしないし退社しない; int1 -> int2: 「むくつけしないしおまけに退社しない」物はある; int2 & fact9 -> hypothesis;
fact14 & fact13 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): (¬{AA}x & ¬{AB}x); int2 & fact9 -> hypothesis;
その第六章は後ろめたい
$facts$ = fact1: その第六章がむくつけしとすればそれは梻でなくておまけに後ろめたくない fact2: もしもむくつけしということはないものが後ろめたくないとしたらあの缶剣玉は梻でない fact3: 臨時ニュースは嫌味っぽくないしさらに後ろめたくない fact4: あの缶剣玉はむくつけしない fact5: なんらかのものは退社しない fact6: 「「むくつけしない」ということは事実である」ものはある fact7: もし「あるものは悪しいが恨みはましくらない」ということは間違いだとしたらそれは梻だということはない fact8: もし「なんらかのものは昇降だということはないけれど梻だ」ということは成り立たないとするとそれは梻でない fact9: もし仮に「むくつけしないし退社しない」物があるとすればその第六章は後ろめたくない fact10: ある物はむくつけしということはないがしかし退社する fact11: 「「侘しいしそれに固くない」ということは本当である」ものはある fact12: もし仮にあの缶剣玉が恨みはましくらないしその上悪しいないとすれば昇降でない fact13: あの缶剣玉は梻だ fact14: 「あの缶剣玉は梻である」ということは成り立てばむくつけしないししかも退社しない fact15: もしあの缶剣玉は梻であるとするとそれはむくつけしない fact16: 「むくつけしけれど退社しない」物はある fact17: 「後ろめたい一方で退社しない」物はある fact18: もしも「何らかの物は後ろめたくないし更に昇降でない」ということは間違いであるなら「後ろめたい」ということは正しい fact19: 「香ばしかない」物はある ; $hypothesis$ = その第六章は後ろめたくない ; $proof$ = 
fact14 & fact13 -> int1: あの缶剣玉はむくつけしないし退社しない; int1 -> int2: 「むくつけしないしおまけに退社しない」物はある; int2 & fact9 -> hypothesis; __PROVED__
事実1: その第六章がむくつけしとすればそれは梻でなくておまけに後ろめたくない
事実2: もしもむくつけしということはないものが後ろめたくないとしたらあの缶剣玉は梻でない
事実3: 臨時ニュースは嫌味っぽくないしさらに後ろめたくない
事実4: あの缶剣玉はむくつけしない
事実5: なんらかのものは退社しない
事実6: 「「むくつけしない」ということは事実である」ものはある
事実7: もし「あるものは悪しいが恨みはましくらない」ということは間違いだとしたらそれは梻だということはない
事実8: もし「なんらかのものは昇降だということはないけれど梻だ」ということは成り立たないとするとそれは梻でない
事実9: もし仮に「むくつけしないし退社しない」物があるとすればその第六章は後ろめたくない
事実10: ある物はむくつけしということはないがしかし退社する
事実11: 「「侘しいしそれに固くない」ということは本当である」ものはある
事実12: もし仮にあの缶剣玉が恨みはましくらないしその上悪しいないとすれば昇降でない
事実13: あの缶剣玉は梻だ
事実14: 「あの缶剣玉は梻である」ということは成り立てばむくつけしないししかも退社しない
事実15: もしあの缶剣玉は梻であるとするとそれはむくつけしない
事実16: 「むくつけしけれど退社しない」物はある
事実17: 「後ろめたい一方で退社しない」物はある
事実18: もしも「何らかの物は後ろめたくないし更に昇降でない」ということは間違いであるなら「後ろめたい」ということは正しい
事実19: 「香ばしかない」物はある

仮説: その第六章は後ろめたくない
1. 事実14と事実13から、推論1: "あの缶剣玉はむくつけしないし退社しない"が導かれる
2. 推論1から、推論2: "「むくつけしないしおまけに退社しない」物はある"が導かれる
3. 推論2と事実9から、仮説が導かれる

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