あの人間蝸牛は低次モードでない
fact1: この産業組織は進化ルートである fact2: 「進化ルートは振り込む」ということは確かだ fact3: もしなにがしかの物は振り込めば「胸苦しくないがしかし理解し易い」ということは間違いである fact4: 仮にそのキャメラがディープキスだということはないしさらに登場人物であるということはないとしたらあのダム建設は登場人物である fact5: もし仮に「なにかは胸苦しくないがしかし理解し易い」ということは間違っているとすると理解し易くない fact6: もしも登場人物はあれば「「この万一は低次モードでなくて心しない」ということは成り立つ」ということは事実でない fact7: それは心するが裂かないというものはない fact8: 仮に「その集中形式は心するけれどそれは裂かない」ということは事実と異なるとするとあの人間蝸牛は低次モードだ fact9: この産業組織が理解し易くないならばそのキャメラはディープキスであるということはなくてそれに登場人物でない
fact7 -> int1: 「その集中形式は心するがしかし裂かない」ということは嘘だ; int1 & fact8 -> hypothesis;
fact7 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> hypothesis;
あの人間蝸牛は心する
fact11 -> int2: 「この産業組織は胸苦しくないけど理解し易い」ということは本当でないとするとそれは理解し易くない; fact10 -> int3: もしもこの産業組織は振り込むなら「胸苦しくない一方で理解し易い」ということは成り立たない; fact13 -> int4: 「この産業組織は進化ルートである」ということは確かであるならば「それは振り込む」ということは成り立つ; int4 & fact12 -> int5: この産業組織は振り込む; int3 & int5 -> int6: 「この産業組織は胸苦しくない一方で理解し易い」ということは成り立たない; int2 & int6 -> int7: 「この産業組織は理解し易くない」ということは真実である; fact14 & int7 -> int8: そのキャメラはディープキスでないし登場人物でない; fact16 & int8 -> int9: あのダム建設は登場人物だ; int9 -> int10: あるものは登場人物だ; int10 & fact15 -> int11: 「この万一は低次モードでないし心するということはない」ということは偽である; int11 -> int12: 「「低次モードでなくて心しない」ということは間違いな」ものはある;
$facts$ = fact1: この産業組織は進化ルートである fact2: 「進化ルートは振り込む」ということは確かだ fact3: もしなにがしかの物は振り込めば「胸苦しくないがしかし理解し易い」ということは間違いである fact4: 仮にそのキャメラがディープキスだということはないしさらに登場人物であるということはないとしたらあのダム建設は登場人物である fact5: もし仮に「なにかは胸苦しくないがしかし理解し易い」ということは間違っているとすると理解し易くない fact6: もしも登場人物はあれば「「この万一は低次モードでなくて心しない」ということは成り立つ」ということは事実でない fact7: それは心するが裂かないというものはない fact8: 仮に「その集中形式は心するけれどそれは裂かない」ということは事実と異なるとするとあの人間蝸牛は低次モードだ fact9: この産業組織が理解し易くないならばそのキャメラはディープキスであるということはなくてそれに登場人物でない ; $hypothesis$ = あの人間蝸牛は低次モードでない ; $proof$ = 
fact7 -> int1: 「その集中形式は心するがしかし裂かない」ということは嘘だ; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: この産業組織は進化ルートである
事実2: 「進化ルートは振り込む」ということは確かだ
事実3: もしなにがしかの物は振り込めば「胸苦しくないがしかし理解し易い」ということは間違いである
事実4: 仮にそのキャメラがディープキスだということはないしさらに登場人物であるということはないとしたらあのダム建設は登場人物である
事実5: もし仮に「なにかは胸苦しくないがしかし理解し易い」ということは間違っているとすると理解し易くない
事実6: もしも登場人物はあれば「「この万一は低次モードでなくて心しない」ということは成り立つ」ということは事実でない
事実7: それは心するが裂かないというものはない
事実8: 仮に「その集中形式は心するけれどそれは裂かない」ということは事実と異なるとするとあの人間蝸牛は低次モードだ
事実9: この産業組織が理解し易くないならばそのキャメラはディープキスであるということはなくてそれに登場人物でない

仮説: あの人間蝸牛は低次モードでない
1. 事実7から、推論1: "「その集中形式は心するがしかし裂かない」ということは嘘だ"が導かれる
2. 推論1と事実8から、仮説が否定される

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