「その鍛冶屋・大工は可笑し」ということは本当である
fact1: あの楽曲は仕方無い fact2: あるものが移り難いとしたらあの楽曲は毛色であるしかつそれは仕方無い fact3: 「移り難い」ものはある fact4: もし仮に何らかの物は移り難いとすれば「それはストラテジックであるがしかし毛色でない」ということは成り立たない fact5: 仮にあの楽曲が毛色であるとしたらその鍛冶屋・大工はストラテジックだ fact6: もしも「何らかのものはストラテジックだ一方でそれは毛色でない」ということは成り立つということはないとすると「ストラテジックだということはない」ということは成り立つ fact7: その鍛冶屋・大工は黄色っぽい fact8: 仮にその鍛冶屋・大工は黄色っぽくてストラテジックだとしたらそれは可笑しない fact9: もし「移り難い」ものがあればあの楽曲は仕方無い
fact3 & fact2 -> int1: あの楽曲が毛色だし仕方無い; int1 -> int2: あの楽曲は毛色だ; int2 & fact5 -> int3: 「その鍛冶屋・大工はストラテジックでない」ということは嘘だ; int3 & fact7 -> int4: その鍛冶屋・大工は黄色っぽいしそれはストラテジックである; int4 & fact8 -> hypothesis;
その言質はストラテジックでない
fact10 -> int5: 「その言質はストラテジックであるけど毛色でない」ということは成り立たないとすればそれはストラテジックでない; fact11 -> int6: 仮にその言質は移り難いなら「ストラテジックだがしかし毛色だということはない」ということは嘘である;
$facts$ = fact1: あの楽曲は仕方無い fact2: あるものが移り難いとしたらあの楽曲は毛色であるしかつそれは仕方無い fact3: 「移り難い」ものはある fact4: もし仮に何らかの物は移り難いとすれば「それはストラテジックであるがしかし毛色でない」ということは成り立たない fact5: 仮にあの楽曲が毛色であるとしたらその鍛冶屋・大工はストラテジックだ fact6: もしも「何らかのものはストラテジックだ一方でそれは毛色でない」ということは成り立つということはないとすると「ストラテジックだということはない」ということは成り立つ fact7: その鍛冶屋・大工は黄色っぽい fact8: 仮にその鍛冶屋・大工は黄色っぽくてストラテジックだとしたらそれは可笑しない fact9: もし「移り難い」ものがあればあの楽曲は仕方無い ; $hypothesis$ = 「その鍛冶屋・大工は可笑し」ということは本当である ; $proof$ = 
fact3 & fact2 -> int1: あの楽曲が毛色だし仕方無い; int1 -> int2: あの楽曲は毛色だ; int2 & fact5 -> int3: 「その鍛冶屋・大工はストラテジックでない」ということは嘘だ; int3 & fact7 -> int4: その鍛冶屋・大工は黄色っぽいしそれはストラテジックである; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: あの楽曲は仕方無い
事実2: あるものが移り難いとしたらあの楽曲は毛色であるしかつそれは仕方無い
事実3: 「移り難い」ものはある
事実4: もし仮に何らかの物は移り難いとすれば「それはストラテジックであるがしかし毛色でない」ということは成り立たない
事実5: 仮にあの楽曲が毛色であるとしたらその鍛冶屋・大工はストラテジックだ
事実6: もしも「何らかのものはストラテジックだ一方でそれは毛色でない」ということは成り立つということはないとすると「ストラテジックだということはない」ということは成り立つ
事実7: その鍛冶屋・大工は黄色っぽい
事実8: 仮にその鍛冶屋・大工は黄色っぽくてストラテジックだとしたらそれは可笑しない
事実9: もし「移り難い」ものがあればあの楽曲は仕方無い

仮説: 「その鍛冶屋・大工は可笑し」ということは本当である
1. 事実3と事実2から、推論1: "あの楽曲が毛色だし仕方無い"が導かれる
2. 推論1から、推論2: "あの楽曲は毛色だ"が導かれる
3. 推論2と事実5から、推論3: "「その鍛冶屋・大工はストラテジックでない」ということは嘘だ"が導かれる
4. 推論3と事実7から、推論4: "その鍛冶屋・大工は黄色っぽいしそれはストラテジックである"が導かれる
5. 推論4と事実8から、仮説が否定される

よって、仮説が否定されました。