「あの営み自体は生き残り得るしさらに知覚障害だ」ということは成り立たない
fact1: 仮にこの意見概要は桂川沿いでないが漫画版であるとすると洗い落とす fact2: この意見概要は苦しくない fact3: 仮にこの意見概要が生き残り得ないとするとあの営み自体は苦しい fact4: すべてのものは苦しくない fact5: もしもこの意見概要が漫画版だとするとあのスナップは思わしくない fact6: もし仮に「あのスナップは思わしくない」ということは間違っていないとすればあの営み自体は生き残り得る fact7: もしもなにがしかのものは思わしいということはないとしたら「それは生き残り得るし知覚障害だ」ということは誤っている fact8: この意見概要は漫画版でない fact9: もしも何かは桂川沿いでなくて漫画版でないなら「それは洗い落とす」ということは本当である fact10: もし仮に「なにがしかの物は苦しいかあるいはそれは易し」ということは成り立たないなら「それは洗い落とさない」ということは本当である fact11: 「「この意見概要は桂川沿いでないし加えてそれは漫画版でない」ということは偽であるとするとあのスナップは思わしくない」ということは事実である fact12: あのスナップが思わしいということはないとしたらあの営み自体は生き残り得るししかも知覚障害だ fact13: 「この意見概要は桂川沿いでないけれど漫画版だ」ということは成り立たない fact14: もしもなんらかの物が桂川沿いでなくてそれが洗い落とさないならばそれは知覚障害だ fact15: 苦しいかあるいは易しかどちらもだというものはない fact16: 仮にある物は桂川沿いでない一方で漫画版だとすればそれは洗い落とす
fact9 -> int1: この意見概要が桂川沿いでなくてそれは漫画版でないとしたら洗い落とす; void -> assump1: 以下のように仮定する。この意見概要は桂川沿いでないし漫画版でない; int1 & assump1 -> int2: この意見概要は洗い落とす; fact10 -> int3: もしも「この意見概要は苦しいかまたは易しかもしくは両方ともだ」ということは嘘であるとすると洗い落とさない; fact15 -> int4: 「この意見概要は苦しいかまたはそれは易し」ということは成り立たない; int3 & int4 -> int5: この意見概要は洗い落とさない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「この意見概要は桂川沿いでなくてその上漫画版でない」ということは成り立たない」ということは確かだ; int7 & fact11 -> int8: あのスナップは思わしくない; int8 & fact12 -> hypothesis;
「あの営み自体は生き残り得るし更に知覚障害である」ということは間違いである
fact17 -> int9: もし仮に「あの営み自体は思わしくない」ということは真実だとしたら「それは生き残り得るし更に知覚障害である」ということは成り立たない;
$facts$ = fact1: 仮にこの意見概要は桂川沿いでないが漫画版であるとすると洗い落とす fact2: この意見概要は苦しくない fact3: 仮にこの意見概要が生き残り得ないとするとあの営み自体は苦しい fact4: すべてのものは苦しくない fact5: もしもこの意見概要が漫画版だとするとあのスナップは思わしくない fact6: もし仮に「あのスナップは思わしくない」ということは間違っていないとすればあの営み自体は生き残り得る fact7: もしもなにがしかのものは思わしいということはないとしたら「それは生き残り得るし知覚障害だ」ということは誤っている fact8: この意見概要は漫画版でない fact9: もしも何かは桂川沿いでなくて漫画版でないなら「それは洗い落とす」ということは本当である fact10: もし仮に「なにがしかの物は苦しいかあるいはそれは易し」ということは成り立たないなら「それは洗い落とさない」ということは本当である fact11: 「「この意見概要は桂川沿いでないし加えてそれは漫画版でない」ということは偽であるとするとあのスナップは思わしくない」ということは事実である fact12: あのスナップが思わしいということはないとしたらあの営み自体は生き残り得るししかも知覚障害だ fact13: 「この意見概要は桂川沿いでないけれど漫画版だ」ということは成り立たない fact14: もしもなんらかの物が桂川沿いでなくてそれが洗い落とさないならばそれは知覚障害だ fact15: 苦しいかあるいは易しかどちらもだというものはない fact16: 仮にある物は桂川沿いでない一方で漫画版だとすればそれは洗い落とす ; $hypothesis$ = 「あの営み自体は生き残り得るしさらに知覚障害だ」ということは成り立たない ; $proof$ = 
fact9 -> int1: この意見概要が桂川沿いでなくてそれは漫画版でないとしたら洗い落とす; void -> assump1: 以下のように仮定する。この意見概要は桂川沿いでないし漫画版でない; int1 & assump1 -> int2: この意見概要は洗い落とす; fact10 -> int3: もしも「この意見概要は苦しいかまたは易しかもしくは両方ともだ」ということは嘘であるとすると洗い落とさない; fact15 -> int4: 「この意見概要は苦しいかまたはそれは易し」ということは成り立たない; int3 & int4 -> int5: この意見概要は洗い落とさない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「この意見概要は桂川沿いでなくてその上漫画版でない」ということは成り立たない」ということは確かだ; int7 & fact11 -> int8: あのスナップは思わしくない; int8 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にこの意見概要は桂川沿いでないが漫画版であるとすると洗い落とす
事実2: この意見概要は苦しくない
事実3: 仮にこの意見概要が生き残り得ないとするとあの営み自体は苦しい
事実4: すべてのものは苦しくない
事実5: もしもこの意見概要が漫画版だとするとあのスナップは思わしくない
事実6: もし仮に「あのスナップは思わしくない」ということは間違っていないとすればあの営み自体は生き残り得る
事実7: もしもなにがしかのものは思わしいということはないとしたら「それは生き残り得るし知覚障害だ」ということは誤っている
事実8: この意見概要は漫画版でない
事実9: もしも何かは桂川沿いでなくて漫画版でないなら「それは洗い落とす」ということは本当である
事実10: もし仮に「なにがしかの物は苦しいかあるいはそれは易し」ということは成り立たないなら「それは洗い落とさない」ということは本当である
事実11: 「「この意見概要は桂川沿いでないし加えてそれは漫画版でない」ということは偽であるとするとあのスナップは思わしくない」ということは事実である
事実12: あのスナップが思わしいということはないとしたらあの営み自体は生き残り得るししかも知覚障害だ
事実13: 「この意見概要は桂川沿いでないけれど漫画版だ」ということは成り立たない
事実14: もしもなんらかの物が桂川沿いでなくてそれが洗い落とさないならばそれは知覚障害だ
事実15: 苦しいかあるいは易しかどちらもだというものはない
事実16: 仮にある物は桂川沿いでない一方で漫画版だとすればそれは洗い落とす

仮説: 「あの営み自体は生き残り得るしさらに知覚障害だ」ということは成り立たない
1. 事実9から、推論1: "この意見概要が桂川沿いでなくてそれは漫画版でないとしたら洗い落とす"が導かれる
2. 仮定1: 以下のように仮定する。この意見概要は桂川沿いでないし漫画版でない
3. 推論1と仮定1から、推論2: "この意見概要は洗い落とす"が導かれる
4. 事実10から、推論3: "もしも「この意見概要は苦しいかまたは易しかもしくは両方ともだ」ということは嘘であるとすると洗い落とさない"が導かれる
5. 事実15から、推論4: "「この意見概要は苦しいかまたはそれは易し」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "この意見概要は洗い落とさない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「「この意見概要は桂川沿いでなくてその上漫画版でない」ということは成り立たない」ということは確かだ"が導かれる
9. 推論7と事実11から、推論8: "あのスナップは思わしくない"が導かれる
10. 推論8と事実12から、仮説が否定される

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