「あの第二十五章は戦慣れするしおまけに疚しい」ということは成り立たない
fact1: あの第二十五章は朝日グラフである fact2: もし「なにかは急進しないがしかし紙さんである」ということは事実と異なるとするとそれは朝日グラフである fact3: あの第二十五章は戻り易い fact4: もしあの第二十五章は戦慣れしないならば「それは空しいということはないけど朝日グラフだ」ということは誤っている fact5: 「このシステム全体は急進するしおまけにそれは紙さんである」ということは偽だ fact6: 「このシステム全体は戦慣れしないがしかしそれは戻り易い」ということは成り立つということはない fact7: 仮にこのシステム全体は戻り易くないとすると「急進するし紙さんである」ということは事実と異なる fact8: もし「あの上官幇主は朝日グラフだ」ということは成り立てば滑れる fact9: なんらかのものが急進するなら朝日グラフである fact10: もし仮にこのシステム全体は戻り易くないとすれば「それは急進しなくて紙さんである」ということは嘘だ fact11: このシステム全体が空しいならあの第二十五章は戦慣れする fact12: 「あの第二十五章は恨めしいということはないけど縒る」ということは事実と異なる fact13: このシステム全体は戻り易くない fact14: もし仮にこのシステム全体は朝日グラフであるなら空しい fact15: もし「このシステム全体は疚しくないけど遠い」ということは誤っているとすればそれは掻き始める fact16: もし仮に「とある物は疚しいということはないがしかし戦慣れする」ということは偽なら「急進する」ということは成り立つ fact17: もしあの第二十五章が戦慣れするとしたら紙さんである fact18: このシステム全体は戦慣れする fact19: あの第二十五章が急進するとしたらあの三訂版は急進する fact20: 仮にあの第二十五章は戻り易くないとしたら「疚しくないがしかし戦慣れする」ということは間違っている fact21: あの第二十五章は疚しい
fact2 -> int1: 仮に「このシステム全体は急進しないけれど紙さんである」ということは成り立たないならそれは朝日グラフである; fact10 & fact13 -> int2: 「このシステム全体は急進するということはない一方で紙さんだ」ということは事実でない; int1 & int2 -> int3: 「このシステム全体は朝日グラフでない」ということは誤っている; int3 & fact14 -> int4: このシステム全体は空しい; int4 & fact11 -> int5: あの第二十五章は戦慣れする; int5 & fact21 -> hypothesis;
あの三訂版は急進するし自己実現出来る
fact22 -> int6: もしも「あの第二十五章は疚しくないけれど戦慣れする」ということは成り立たないとすればそれは急進する;
$facts$ = fact1: あの第二十五章は朝日グラフである fact2: もし「なにかは急進しないがしかし紙さんである」ということは事実と異なるとするとそれは朝日グラフである fact3: あの第二十五章は戻り易い fact4: もしあの第二十五章は戦慣れしないならば「それは空しいということはないけど朝日グラフだ」ということは誤っている fact5: 「このシステム全体は急進するしおまけにそれは紙さんである」ということは偽だ fact6: 「このシステム全体は戦慣れしないがしかしそれは戻り易い」ということは成り立つということはない fact7: 仮にこのシステム全体は戻り易くないとすると「急進するし紙さんである」ということは事実と異なる fact8: もし「あの上官幇主は朝日グラフだ」ということは成り立てば滑れる fact9: なんらかのものが急進するなら朝日グラフである fact10: もし仮にこのシステム全体は戻り易くないとすれば「それは急進しなくて紙さんである」ということは嘘だ fact11: このシステム全体が空しいならあの第二十五章は戦慣れする fact12: 「あの第二十五章は恨めしいということはないけど縒る」ということは事実と異なる fact13: このシステム全体は戻り易くない fact14: もし仮にこのシステム全体は朝日グラフであるなら空しい fact15: もし「このシステム全体は疚しくないけど遠い」ということは誤っているとすればそれは掻き始める fact16: もし仮に「とある物は疚しいということはないがしかし戦慣れする」ということは偽なら「急進する」ということは成り立つ fact17: もしあの第二十五章が戦慣れするとしたら紙さんである fact18: このシステム全体は戦慣れする fact19: あの第二十五章が急進するとしたらあの三訂版は急進する fact20: 仮にあの第二十五章は戻り易くないとしたら「疚しくないがしかし戦慣れする」ということは間違っている fact21: あの第二十五章は疚しい ; $hypothesis$ = 「あの第二十五章は戦慣れするしおまけに疚しい」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮に「このシステム全体は急進しないけれど紙さんである」ということは成り立たないならそれは朝日グラフである; fact10 & fact13 -> int2: 「このシステム全体は急進するということはない一方で紙さんだ」ということは事実でない; int1 & int2 -> int3: 「このシステム全体は朝日グラフでない」ということは誤っている; int3 & fact14 -> int4: このシステム全体は空しい; int4 & fact11 -> int5: あの第二十五章は戦慣れする; int5 & fact21 -> hypothesis; __DISPROVED__
事実1: あの第二十五章は朝日グラフである
事実2: もし「なにかは急進しないがしかし紙さんである」ということは事実と異なるとするとそれは朝日グラフである
事実3: あの第二十五章は戻り易い
事実4: もしあの第二十五章は戦慣れしないならば「それは空しいということはないけど朝日グラフだ」ということは誤っている
事実5: 「このシステム全体は急進するしおまけにそれは紙さんである」ということは偽だ
事実6: 「このシステム全体は戦慣れしないがしかしそれは戻り易い」ということは成り立つということはない
事実7: 仮にこのシステム全体は戻り易くないとすると「急進するし紙さんである」ということは事実と異なる
事実8: もし「あの上官幇主は朝日グラフだ」ということは成り立てば滑れる
事実9: なんらかのものが急進するなら朝日グラフである
事実10: もし仮にこのシステム全体は戻り易くないとすれば「それは急進しなくて紙さんである」ということは嘘だ
事実11: このシステム全体が空しいならあの第二十五章は戦慣れする
事実12: 「あの第二十五章は恨めしいということはないけど縒る」ということは事実と異なる
事実13: このシステム全体は戻り易くない
事実14: もし仮にこのシステム全体は朝日グラフであるなら空しい
事実15: もし「このシステム全体は疚しくないけど遠い」ということは誤っているとすればそれは掻き始める
事実16: もし仮に「とある物は疚しいということはないがしかし戦慣れする」ということは偽なら「急進する」ということは成り立つ
事実17: もしあの第二十五章が戦慣れするとしたら紙さんである
事実18: このシステム全体は戦慣れする
事実19: あの第二十五章が急進するとしたらあの三訂版は急進する
事実20: 仮にあの第二十五章は戻り易くないとしたら「疚しくないがしかし戦慣れする」ということは間違っている
事実21: あの第二十五章は疚しい

仮説: 「あの第二十五章は戦慣れするしおまけに疚しい」ということは成り立たない
1. 事実2から、推論1: "仮に「このシステム全体は急進しないけれど紙さんである」ということは成り立たないならそれは朝日グラフである"が導かれる
2. 事実10と事実13から、推論2: "「このシステム全体は急進するということはない一方で紙さんだ」ということは事実でない"が導かれる
3. 推論1と推論2から、推論3: "「このシステム全体は朝日グラフでない」ということは誤っている"が導かれる
4. 推論3と事実14から、推論4: "このシステム全体は空しい"が導かれる
5. 推論4と事実11から、推論5: "あの第二十五章は戦慣れする"が導かれる
6. 推論5と事実21から、仮説が否定される

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