「もしもあの平絹が絶え間無いとするとこの生姜は鼻音化する」ということは成り立たない
fact1: 「この生姜は鼻音化しないけれど著しい」ということは成り立たないならばそれは裁決だ fact2: もしこの失調は若くないとすれば「人間っぽい」ということは真実である fact3: あの平絹は若いかまたはそれは絶え間無くない fact4: もし仮に何らかの物はアルミ産業でないとしたら鼻音化する fact5: 「あの平絹は当該事実でない」ということは正しいならば「この生姜は若くない一方でアルミ産業である」ということは成り立たない fact6: もし仮にある物はエンパスであるとすれば「それは当該事実でないがしかし諜報員である」ということは成り立たない fact7: 「なにがしかのものは最終責任者だということはないけれどそれは遣る瀬だ」ということは間違いだとすると怖がる fact8: もし仮にこの生姜は絶え間無くて更に諜報員だとすると「それは若い」ということは事実である fact9: もし仮に「あの平絹は鼻音化しない」ということは本当であるとすれば「この生姜は諜報員であるということはないけれどそれは当該事実である」ということは成り立たない fact10: もしもこの生姜はアルミ産業でないならばそれは鼻音化する fact11: 仮に「なにがしかのものは若くない一方でアルミ産業である」ということは成り立たないとすれば鼻音化する fact12: 仮に何らかの物が諜報員だということはないとすれば鼻音化する fact13: 仮になにがしかの物は諜報員であるしかつ当該事実であるとすると絶え間無くない fact14: あの平絹は諜報員だ一方でエンパスでない
fact14 -> int1: あの平絹は諜報員である; void -> assump2: 以下のように仮定する。あの平絹は当該事実だ; int1 & assump2 -> int2: あの平絹は諜報員であるしそれは当該事実だ; fact13 -> int3: 仮にあの平絹が諜報員であるし加えて当該事実だとしたらそれは絶え間無くない; int2 & int3 -> int4: 「あの平絹は絶え間無くない」ということは本当である; void -> assump1: 以下のように仮定する。あの平絹は絶え間無い; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの平絹は当該事実でない; int6 & fact5 -> int7: 「この生姜は若くないけれどアルミ産業である」ということは成り立たない; fact11 -> int8: もしも「この生姜は若くないがしかしアルミ産業である」ということは確かでないとするとそれは鼻音化する; int7 & int8 -> int9: 「この生姜は鼻音化する」ということは本当である; [assump1] & int9 -> hypothesis;
その初孫は鼻音化する
fact16 -> int10: もし仮にその初孫は諜報員でないとするとそれは鼻音化する; fact17 -> int11: 仮にその初孫はエンパスなら「それは当該事実でないしさらにそれは諜報員だ」ということは間違いだ; fact15 -> int12: 「若いかまたは絶え間無くない」ものはある;
$facts$ = fact1: 「この生姜は鼻音化しないけれど著しい」ということは成り立たないならばそれは裁決だ fact2: もしこの失調は若くないとすれば「人間っぽい」ということは真実である fact3: あの平絹は若いかまたはそれは絶え間無くない fact4: もし仮に何らかの物はアルミ産業でないとしたら鼻音化する fact5: 「あの平絹は当該事実でない」ということは正しいならば「この生姜は若くない一方でアルミ産業である」ということは成り立たない fact6: もし仮にある物はエンパスであるとすれば「それは当該事実でないがしかし諜報員である」ということは成り立たない fact7: 「なにがしかのものは最終責任者だということはないけれどそれは遣る瀬だ」ということは間違いだとすると怖がる fact8: もし仮にこの生姜は絶え間無くて更に諜報員だとすると「それは若い」ということは事実である fact9: もし仮に「あの平絹は鼻音化しない」ということは本当であるとすれば「この生姜は諜報員であるということはないけれどそれは当該事実である」ということは成り立たない fact10: もしもこの生姜はアルミ産業でないならばそれは鼻音化する fact11: 仮に「なにがしかのものは若くない一方でアルミ産業である」ということは成り立たないとすれば鼻音化する fact12: 仮に何らかの物が諜報員だということはないとすれば鼻音化する fact13: 仮になにがしかの物は諜報員であるしかつ当該事実であるとすると絶え間無くない fact14: あの平絹は諜報員だ一方でエンパスでない ; $hypothesis$ = 「もしもあの平絹が絶え間無いとするとこの生姜は鼻音化する」ということは成り立たない ; $proof$ = 
fact14 -> int1: あの平絹は諜報員である; void -> assump2: 以下のように仮定する。あの平絹は当該事実だ; int1 & assump2 -> int2: あの平絹は諜報員であるしそれは当該事実だ; fact13 -> int3: 仮にあの平絹が諜報員であるし加えて当該事実だとしたらそれは絶え間無くない; int2 & int3 -> int4: 「あの平絹は絶え間無くない」ということは本当である; void -> assump1: 以下のように仮定する。あの平絹は絶え間無い; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの平絹は当該事実でない; int6 & fact5 -> int7: 「この生姜は若くないけれどアルミ産業である」ということは成り立たない; fact11 -> int8: もしも「この生姜は若くないがしかしアルミ産業である」ということは確かでないとするとそれは鼻音化する; int7 & int8 -> int9: 「この生姜は鼻音化する」ということは本当である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: 「この生姜は鼻音化しないけれど著しい」ということは成り立たないならばそれは裁決だ
事実2: もしこの失調は若くないとすれば「人間っぽい」ということは真実である
事実3: あの平絹は若いかまたはそれは絶え間無くない
事実4: もし仮に何らかの物はアルミ産業でないとしたら鼻音化する
事実5: 「あの平絹は当該事実でない」ということは正しいならば「この生姜は若くない一方でアルミ産業である」ということは成り立たない
事実6: もし仮にある物はエンパスであるとすれば「それは当該事実でないがしかし諜報員である」ということは成り立たない
事実7: 「なにがしかのものは最終責任者だということはないけれどそれは遣る瀬だ」ということは間違いだとすると怖がる
事実8: もし仮にこの生姜は絶え間無くて更に諜報員だとすると「それは若い」ということは事実である
事実9: もし仮に「あの平絹は鼻音化しない」ということは本当であるとすれば「この生姜は諜報員であるということはないけれどそれは当該事実である」ということは成り立たない
事実10: もしもこの生姜はアルミ産業でないならばそれは鼻音化する
事実11: 仮に「なにがしかのものは若くない一方でアルミ産業である」ということは成り立たないとすれば鼻音化する
事実12: 仮に何らかの物が諜報員だということはないとすれば鼻音化する
事実13: 仮になにがしかの物は諜報員であるしかつ当該事実であるとすると絶え間無くない
事実14: あの平絹は諜報員だ一方でエンパスでない

仮説: 「もしもあの平絹が絶え間無いとするとこの生姜は鼻音化する」ということは成り立たない
1. 事実14から、推論1: "あの平絹は諜報員である"が導かれる
2. 仮定2: 以下のように仮定する。あの平絹は当該事実だ
3. 推論1と仮定2から、推論2: "あの平絹は諜報員であるしそれは当該事実だ"が導かれる
4. 事実13から、推論3: "仮にあの平絹が諜報員であるし加えて当該事実だとしたらそれは絶え間無くない"が導かれる
5. 推論2と推論3から、推論4: "「あの平絹は絶え間無くない」ということは本当である"が導かれる
6. 仮定1: 以下のように仮定する。あの平絹は絶え間無い
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "あの平絹は当該事実でない"が導かれる
9. 推論6と事実5から、推論7: "「この生姜は若くないけれどアルミ産業である」ということは成り立たない"が導かれる
10. 事実11から、推論8: "もしも「この生姜は若くないがしかしアルミ産業である」ということは確かでないとするとそれは鼻音化する"が導かれる
11. 推論7と推論8から、推論9: "「この生姜は鼻音化する」ということは本当である"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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