「その全党員は子罕でないし更に無くなり掛けない」ということは間違いである
fact1: もし仮にあの素事が捕らえ易いとしたら局所排気装置でなくて演奏出来ない fact2: あの労働者個人は捕らえ易い fact3: なんらかの物が演奏出来ないならばそれはアイヌ達であるししかも湿っぽい fact4: 「あの労働者個人は管理しない一方で湿っぽい」ということは成り立たない fact5: あの全血は管理するししかつめらしい fact6: もしあの素事が子罕でないとしたらその全党員は無くなり掛けない fact7: もしもとあるものが管理するとするとそれは近代都市計画である fact8: あの労働者個人が子罕でないとしたらあの素事は子罕でないしそれにそれは湿っぽくない fact9: あの素事は近代都市計画である fact10: あの労働者個人は管理するなら「近代都市計画である」ということは成り立つ fact11: その全党員は湿っぽくない fact12: もしとある物が想像し難くてさらに子罕であるとするとあの労働者個人は近代都市計画であるということはない fact13: 仮に「とある物は管理しないがしかし湿っぽい」ということは誤っているとしたらそれは近代都市計画である fact14: もしもあの素事が子罕でないならばあの全党員は子罕であるということはないしその上それは無くなり掛けない fact15: あの素事は想像し難い fact16: 何かは子罕である fact17: もしもとあるものは想像し難いとしたら「それは子罕でないしそれは無くなり掛けない」ということは間違っている fact18: もし仮にあの労働者個人が捕らえ易いとするとあの素事は捕らえ易い fact19: 仮に「なにかは近代都市計画だが管理しない」ということは成り立つということはないとしたら想像し難い fact20: その全党員は無くなり掛けない
void -> assump1: 以下のように仮定する。あの素事は子罕である; fact15 & assump1 -> int1: あの素事は想像し難いし子罕だ; int1 -> int2: 「「想像し難くて加えて子罕だ」ということは確かな」ものはある; int2 & fact12 -> int3: あの労働者個人は近代都市計画でない; fact13 -> int4: 「あの労働者個人は管理しない一方で湿っぽい」ということは事実と異なれば近代都市計画だ; fact4 & int4 -> int5: あの労働者個人は近代都市計画である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの素事は子罕でない; int7 & fact14 -> hypothesis;
「その全党員は子罕でなくて更に無くなり掛けない」ということは誤っている
fact23 -> int8: もし「その全党員は想像し難い」ということは本当であるとすれば「それは子罕でないしさらに無くなり掛けない」ということは成り立たない; fact26 -> int9: 仮に「その全党員は近代都市計画だけど管理しない」ということは成り立たないとすれば想像し難い; fact21 -> int10: 「仮にあの素事が演奏出来るということはないとすればあの素事はアイヌ達であるししかも湿っぽい」ということは本当である; fact24 & fact25 -> int11: あの素事は捕らえ易い; fact22 & int11 -> int12: あの素事は局所排気装置でなくてしかも演奏出来ない; int12 -> int13: あの素事は演奏出来ない; int10 & int13 -> int14: あの素事はアイヌ達で湿っぽい; int14 -> int15: あの素事は湿っぽい; int15 -> int16: 「湿っぽい」物はある;
$facts$ = fact1: もし仮にあの素事が捕らえ易いとしたら局所排気装置でなくて演奏出来ない fact2: あの労働者個人は捕らえ易い fact3: なんらかの物が演奏出来ないならばそれはアイヌ達であるししかも湿っぽい fact4: 「あの労働者個人は管理しない一方で湿っぽい」ということは成り立たない fact5: あの全血は管理するししかつめらしい fact6: もしあの素事が子罕でないとしたらその全党員は無くなり掛けない fact7: もしもとあるものが管理するとするとそれは近代都市計画である fact8: あの労働者個人が子罕でないとしたらあの素事は子罕でないしそれにそれは湿っぽくない fact9: あの素事は近代都市計画である fact10: あの労働者個人は管理するなら「近代都市計画である」ということは成り立つ fact11: その全党員は湿っぽくない fact12: もしとある物が想像し難くてさらに子罕であるとするとあの労働者個人は近代都市計画であるということはない fact13: 仮に「とある物は管理しないがしかし湿っぽい」ということは誤っているとしたらそれは近代都市計画である fact14: もしもあの素事が子罕でないならばあの全党員は子罕であるということはないしその上それは無くなり掛けない fact15: あの素事は想像し難い fact16: 何かは子罕である fact17: もしもとあるものは想像し難いとしたら「それは子罕でないしそれは無くなり掛けない」ということは間違っている fact18: もし仮にあの労働者個人が捕らえ易いとするとあの素事は捕らえ易い fact19: 仮に「なにかは近代都市計画だが管理しない」ということは成り立つということはないとしたら想像し難い fact20: その全党員は無くなり掛けない ; $hypothesis$ = 「その全党員は子罕でないし更に無くなり掛けない」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの素事は子罕である; fact15 & assump1 -> int1: あの素事は想像し難いし子罕だ; int1 -> int2: 「「想像し難くて加えて子罕だ」ということは確かな」ものはある; int2 & fact12 -> int3: あの労働者個人は近代都市計画でない; fact13 -> int4: 「あの労働者個人は管理しない一方で湿っぽい」ということは事実と異なれば近代都市計画だ; fact4 & int4 -> int5: あの労働者個人は近代都市計画である; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの素事は子罕でない; int7 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮にあの素事が捕らえ易いとしたら局所排気装置でなくて演奏出来ない
事実2: あの労働者個人は捕らえ易い
事実3: なんらかの物が演奏出来ないならばそれはアイヌ達であるししかも湿っぽい
事実4: 「あの労働者個人は管理しない一方で湿っぽい」ということは成り立たない
事実5: あの全血は管理するししかつめらしい
事実6: もしあの素事が子罕でないとしたらその全党員は無くなり掛けない
事実7: もしもとあるものが管理するとするとそれは近代都市計画である
事実8: あの労働者個人が子罕でないとしたらあの素事は子罕でないしそれにそれは湿っぽくない
事実9: あの素事は近代都市計画である
事実10: あの労働者個人は管理するなら「近代都市計画である」ということは成り立つ
事実11: その全党員は湿っぽくない
事実12: もしとある物が想像し難くてさらに子罕であるとするとあの労働者個人は近代都市計画であるということはない
事実13: 仮に「とある物は管理しないがしかし湿っぽい」ということは誤っているとしたらそれは近代都市計画である
事実14: もしもあの素事が子罕でないならばあの全党員は子罕であるということはないしその上それは無くなり掛けない
事実15: あの素事は想像し難い
事実16: 何かは子罕である
事実17: もしもとあるものは想像し難いとしたら「それは子罕でないしそれは無くなり掛けない」ということは間違っている
事実18: もし仮にあの労働者個人が捕らえ易いとするとあの素事は捕らえ易い
事実19: 仮に「なにかは近代都市計画だが管理しない」ということは成り立つということはないとしたら想像し難い
事実20: その全党員は無くなり掛けない

仮説: 「その全党員は子罕でないし更に無くなり掛けない」ということは間違いである
1. 仮定1: 以下のように仮定する。あの素事は子罕である
2. 事実15と仮定1から、推論1: "あの素事は想像し難いし子罕だ"が導かれる
3. 推論1から、推論2: "「「想像し難くて加えて子罕だ」ということは確かな」ものはある"が導かれる
4. 推論2と事実12から、推論3: "あの労働者個人は近代都市計画でない"が導かれる
5. 事実13から、推論4: "「あの労働者個人は管理しない一方で湿っぽい」ということは事実と異なれば近代都市計画だ"が導かれる
6. 事実4と推論4から、推論5: "あの労働者個人は近代都市計画である"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの素事は子罕でない"が導かれる
9. 推論7と事実14から、仮説が否定される

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