この金物屋は黒しない
fact1: その術前照射はまどろっこしくらない fact2: 「仮にその術前照射は予想屋でないとすると「その術前照射は聞こえ難くないけれど六尺棒である」ということは間違っている」ということは間違いでない fact3: その術前照射は予想屋でないとすると「それは脱獄するということはないし加えて聞こえ難くない」ということは成り立つということはない fact4: その次序は聞こえ難い fact5: もし仮に「その術前照射は脱獄するけど聞こえ難いということはない」ということは嘘ならば黒し fact6: この金物屋は聞こえ難い fact7: 仮に「何かは数列であるがしかし聞こえ難いということはない」ということは間違いであるとしたらそれは六尺棒である fact8: もしもその術前照射が六尺棒であるとしたらこの金物屋は黒しないがしかしそれは予想屋である fact9: もしもこの金物屋は聞こえ難くないとすると「六尺棒でないしさらに黒しない」ということは偽である fact10: 「この金物屋は聞こえ難くないがそれは数列だ」ということは真実でない fact11: 何かは大黒だ fact12: とある物が無理無くないならそれは黒し fact13: もし仮になにがしかの物は六尺棒だということはないならば「くるくるするということはないしＢＡＭでない」ということは成り立たない fact14: もしもあの行列踊りは六尺棒ならば「この金物屋は無理無いけどそれは数列でない」ということは誤りである fact15: この金物屋は後屈位だ fact16: 仮に「大黒である」物があるならその術前照射は脱獄しないししかも聞こえ難くない fact17: もしも「その術前照射は数列だがしかしそれは脱獄しない」ということは間違っているならそれは黒し fact18: 「この金物屋は使い始めないがそれは無理無い」ということは成り立たない fact19: 仮に大黒があるならその術前照射は聞こえ難くない fact20: もしもその術前照射が予想屋だとするとあの行列踊りは六尺棒である fact21: この金物屋は予想屋だ fact22: もし仮に「とある物は無理無いけど数列でない」ということは成り立たないとしたら黒し fact23: もしもこの金物屋は脱獄しないとすれば「それは無理無くなくて予想屋でない」ということは間違いだ
void -> assump1: 以下のように仮定する。その術前照射は予想屋でない; fact3 & assump1 -> int1: 「その術前照射は脱獄しないし加えて聞こえ難くない」ということは成り立たない; fact11 & fact16 -> int2: その術前照射は脱獄しないし聞こえ難いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その術前照射は予想屋である; int4 & fact20 -> int5: あの行列踊りは六尺棒である; int5 & fact14 -> int6: 「この金物屋は無理無いけどそれは数列でない」ということは本当でない; fact22 -> int7: もし「この金物屋は無理無いが数列でない」ということは成り立たないなら黒し; int6 & int7 -> hypothesis;
この金物屋は黒しない
$facts$ = fact1: その術前照射はまどろっこしくらない fact2: 「仮にその術前照射は予想屋でないとすると「その術前照射は聞こえ難くないけれど六尺棒である」ということは間違っている」ということは間違いでない fact3: その術前照射は予想屋でないとすると「それは脱獄するということはないし加えて聞こえ難くない」ということは成り立つということはない fact4: その次序は聞こえ難い fact5: もし仮に「その術前照射は脱獄するけど聞こえ難いということはない」ということは嘘ならば黒し fact6: この金物屋は聞こえ難い fact7: 仮に「何かは数列であるがしかし聞こえ難いということはない」ということは間違いであるとしたらそれは六尺棒である fact8: もしもその術前照射が六尺棒であるとしたらこの金物屋は黒しないがしかしそれは予想屋である fact9: もしもこの金物屋は聞こえ難くないとすると「六尺棒でないしさらに黒しない」ということは偽である fact10: 「この金物屋は聞こえ難くないがそれは数列だ」ということは真実でない fact11: 何かは大黒だ fact12: とある物が無理無くないならそれは黒し fact13: もし仮になにがしかの物は六尺棒だということはないならば「くるくるするということはないしＢＡＭでない」ということは成り立たない fact14: もしもあの行列踊りは六尺棒ならば「この金物屋は無理無いけどそれは数列でない」ということは誤りである fact15: この金物屋は後屈位だ fact16: 仮に「大黒である」物があるならその術前照射は脱獄しないししかも聞こえ難くない fact17: もしも「その術前照射は数列だがしかしそれは脱獄しない」ということは間違っているならそれは黒し fact18: 「この金物屋は使い始めないがそれは無理無い」ということは成り立たない fact19: 仮に大黒があるならその術前照射は聞こえ難くない fact20: もしもその術前照射が予想屋だとするとあの行列踊りは六尺棒である fact21: この金物屋は予想屋だ fact22: もし仮に「とある物は無理無いけど数列でない」ということは成り立たないとしたら黒し fact23: もしもこの金物屋は脱獄しないとすれば「それは無理無くなくて予想屋でない」ということは間違いだ ; $hypothesis$ = この金物屋は黒しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その術前照射は予想屋でない; fact3 & assump1 -> int1: 「その術前照射は脱獄しないし加えて聞こえ難くない」ということは成り立たない; fact11 & fact16 -> int2: その術前照射は脱獄しないし聞こえ難いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その術前照射は予想屋である; int4 & fact20 -> int5: あの行列踊りは六尺棒である; int5 & fact14 -> int6: 「この金物屋は無理無いけどそれは数列でない」ということは本当でない; fact22 -> int7: もし「この金物屋は無理無いが数列でない」ということは成り立たないなら黒し; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その術前照射はまどろっこしくらない
事実2: 「仮にその術前照射は予想屋でないとすると「その術前照射は聞こえ難くないけれど六尺棒である」ということは間違っている」ということは間違いでない
事実3: その術前照射は予想屋でないとすると「それは脱獄するということはないし加えて聞こえ難くない」ということは成り立つということはない
事実4: その次序は聞こえ難い
事実5: もし仮に「その術前照射は脱獄するけど聞こえ難いということはない」ということは嘘ならば黒し
事実6: この金物屋は聞こえ難い
事実7: 仮に「何かは数列であるがしかし聞こえ難いということはない」ということは間違いであるとしたらそれは六尺棒である
事実8: もしもその術前照射が六尺棒であるとしたらこの金物屋は黒しないがしかしそれは予想屋である
事実9: もしもこの金物屋は聞こえ難くないとすると「六尺棒でないしさらに黒しない」ということは偽である
事実10: 「この金物屋は聞こえ難くないがそれは数列だ」ということは真実でない
事実11: 何かは大黒だ
事実12: とある物が無理無くないならそれは黒し
事実13: もし仮になにがしかの物は六尺棒だということはないならば「くるくるするということはないしＢＡＭでない」ということは成り立たない
事実14: もしもあの行列踊りは六尺棒ならば「この金物屋は無理無いけどそれは数列でない」ということは誤りである
事実15: この金物屋は後屈位だ
事実16: 仮に「大黒である」物があるならその術前照射は脱獄しないししかも聞こえ難くない
事実17: もしも「その術前照射は数列だがしかしそれは脱獄しない」ということは間違っているならそれは黒し
事実18: 「この金物屋は使い始めないがそれは無理無い」ということは成り立たない
事実19: 仮に大黒があるならその術前照射は聞こえ難くない
事実20: もしもその術前照射が予想屋だとするとあの行列踊りは六尺棒である
事実21: この金物屋は予想屋だ
事実22: もし仮に「とある物は無理無いけど数列でない」ということは成り立たないとしたら黒し
事実23: もしもこの金物屋は脱獄しないとすれば「それは無理無くなくて予想屋でない」ということは間違いだ

仮説: この金物屋は黒しない
1. 仮定1: 以下のように仮定する。その術前照射は予想屋でない
2. 事実3と仮定1から、推論1: "「その術前照射は脱獄しないし加えて聞こえ難くない」ということは成り立たない"が導かれる
3. 事実11と事実16から、推論2: "その術前照射は脱獄しないし聞こえ難いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その術前照射は予想屋である"が導かれる
6. 推論4と事実20から、推論5: "あの行列踊りは六尺棒である"が導かれる
7. 推論5と事実14から、推論6: "「この金物屋は無理無いけどそれは数列でない」ということは本当でない"が導かれる
8. 事実22から、推論7: "もし「この金物屋は無理無いが数列でない」ということは成り立たないなら黒し"が導かれる
9. 推論6と推論7から、仮説が否定される

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