「もし仮にあの国家政治保安部が生き易いとすればこの戦争体験は発明する」ということは事実と異なる
fact1: 仮になにかは力無くないならば「抜け易くなくてそれに天狗らしい」ということは誤っている fact2: なにかは発明しないかもしくはそれは喫煙するかまたは両方ともだとしたら「力無くない」ということは確かだ fact3: あの明治中期は宿敵でない fact4: もしなんらかのものは天狗らしくないとすると「抜け易くない」ということは本当だ fact5: もし仮に「あの明治中期は抜け易いということはないけどそれは天狗らしい」ということは偽であるならばあの国家政治保安部は生き易い fact6: 「あの明治中期は宿敵であるし潔い」ということは成り立たない fact7: 仮にあの明治中期が宿敵だとするとこの戦争体験は発明する fact8: もし「あの明治中期は宿敵だということはないけどそれは潔い」ということは成り立たないならばこの戦争体験は発明する fact9: 「「直り難いということはないし生き易くない」ということは真実であるということはない」ものはある fact10: もし仮になにがしかのものは宿敵でないけど潔いならそれは力無くない fact11: 「あの国家政治保安部は宿敵でないがしかしそれは生き易い」ということは偽であるならあの明治中期は天狗らしい fact12: 「あの明治中期は抜け易くない一方で天狗らしい」ということは嘘ならあの国家政治保安部は生き易くない fact13: 仮になんらかのものが生き易いとすると天狗らしくない fact14: 仮にあの明治中期が抜け易いとすればあの国家政治保安部は生き易くない fact15: 仮にこの戦争体験は力無くないし更に抜け易くないとすれば「あの国家政治保安部は潔くない」ということは真実だ fact16: もし「あの明治中期は力無くない」ということは本当であるなら「それは抜け易いししかも天狗らしい」ということは成り立つということはない
fact10 -> int1: もしあの明治中期が宿敵でないがしかしそれは潔いならば「それは力無くない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの明治中期は宿敵でないがしかしそれは潔い; int1 & assump1 -> int2: あの明治中期は力無くない; fact1 -> int3: もしあの明治中期は力無いということはないならば「それは抜け易いということはないけど天狗らしい」ということは成り立たない; int2 & int3 -> int4: 「あの明治中期は抜け易くない一方で天狗らしい」ということは成り立たない; int4 & fact12 -> int5: あの国家政治保安部は生き易いということはない; void -> assump2: 以下のように仮定する。あの国家政治保安部は生き易い; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの明治中期は宿敵でない一方で潔い」ということは成り立つということはない; int7 & fact8 -> int8: この戦争体験は発明する; [assump2] & int8 -> hypothesis;
「あの国家政治保安部は潔くない」ということは事実だ
fact18 -> int9: この戦争体験は発明するということはないか喫煙するかまたは両方だとすると力無くない; fact17 -> int10: もしこの戦争体験が天狗らしいということはないなら抜け易くない; fact20 -> int11: この戦争体験が生き易いとするとそれは天狗らしくない;
$facts$ = fact1: 仮になにかは力無くないならば「抜け易くなくてそれに天狗らしい」ということは誤っている fact2: なにかは発明しないかもしくはそれは喫煙するかまたは両方ともだとしたら「力無くない」ということは確かだ fact3: あの明治中期は宿敵でない fact4: もしなんらかのものは天狗らしくないとすると「抜け易くない」ということは本当だ fact5: もし仮に「あの明治中期は抜け易いということはないけどそれは天狗らしい」ということは偽であるならばあの国家政治保安部は生き易い fact6: 「あの明治中期は宿敵であるし潔い」ということは成り立たない fact7: 仮にあの明治中期が宿敵だとするとこの戦争体験は発明する fact8: もし「あの明治中期は宿敵だということはないけどそれは潔い」ということは成り立たないならばこの戦争体験は発明する fact9: 「「直り難いということはないし生き易くない」ということは真実であるということはない」ものはある fact10: もし仮になにがしかのものは宿敵でないけど潔いならそれは力無くない fact11: 「あの国家政治保安部は宿敵でないがしかしそれは生き易い」ということは偽であるならあの明治中期は天狗らしい fact12: 「あの明治中期は抜け易くない一方で天狗らしい」ということは嘘ならあの国家政治保安部は生き易くない fact13: 仮になんらかのものが生き易いとすると天狗らしくない fact14: 仮にあの明治中期が抜け易いとすればあの国家政治保安部は生き易くない fact15: 仮にこの戦争体験は力無くないし更に抜け易くないとすれば「あの国家政治保安部は潔くない」ということは真実だ fact16: もし「あの明治中期は力無くない」ということは本当であるなら「それは抜け易いししかも天狗らしい」ということは成り立つということはない ; $hypothesis$ = 「もし仮にあの国家政治保安部が生き易いとすればこの戦争体験は発明する」ということは事実と異なる ; $proof$ = 
fact10 -> int1: もしあの明治中期が宿敵でないがしかしそれは潔いならば「それは力無くない」ということは成り立つ; void -> assump1: 以下のように仮定する。あの明治中期は宿敵でないがしかしそれは潔い; int1 & assump1 -> int2: あの明治中期は力無くない; fact1 -> int3: もしあの明治中期は力無いということはないならば「それは抜け易いということはないけど天狗らしい」ということは成り立たない; int2 & int3 -> int4: 「あの明治中期は抜け易くない一方で天狗らしい」ということは成り立たない; int4 & fact12 -> int5: あの国家政治保安部は生き易いということはない; void -> assump2: 以下のように仮定する。あの国家政治保安部は生き易い; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの明治中期は宿敵でない一方で潔い」ということは成り立つということはない; int7 & fact8 -> int8: この戦争体験は発明する; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: 仮になにかは力無くないならば「抜け易くなくてそれに天狗らしい」ということは誤っている
事実2: なにかは発明しないかもしくはそれは喫煙するかまたは両方ともだとしたら「力無くない」ということは確かだ
事実3: あの明治中期は宿敵でない
事実4: もしなんらかのものは天狗らしくないとすると「抜け易くない」ということは本当だ
事実5: もし仮に「あの明治中期は抜け易いということはないけどそれは天狗らしい」ということは偽であるならばあの国家政治保安部は生き易い
事実6: 「あの明治中期は宿敵であるし潔い」ということは成り立たない
事実7: 仮にあの明治中期が宿敵だとするとこの戦争体験は発明する
事実8: もし「あの明治中期は宿敵だということはないけどそれは潔い」ということは成り立たないならばこの戦争体験は発明する
事実9: 「「直り難いということはないし生き易くない」ということは真実であるということはない」ものはある
事実10: もし仮になにがしかのものは宿敵でないけど潔いならそれは力無くない
事実11: 「あの国家政治保安部は宿敵でないがしかしそれは生き易い」ということは偽であるならあの明治中期は天狗らしい
事実12: 「あの明治中期は抜け易くない一方で天狗らしい」ということは嘘ならあの国家政治保安部は生き易くない
事実13: 仮になんらかのものが生き易いとすると天狗らしくない
事実14: 仮にあの明治中期が抜け易いとすればあの国家政治保安部は生き易くない
事実15: 仮にこの戦争体験は力無くないし更に抜け易くないとすれば「あの国家政治保安部は潔くない」ということは真実だ
事実16: もし「あの明治中期は力無くない」ということは本当であるなら「それは抜け易いししかも天狗らしい」ということは成り立つということはない

仮説: 「もし仮にあの国家政治保安部が生き易いとすればこの戦争体験は発明する」ということは事実と異なる
1. 事実10から、推論1: "もしあの明治中期が宿敵でないがしかしそれは潔いならば「それは力無くない」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。あの明治中期は宿敵でないがしかしそれは潔い
3. 推論1と仮定1から、推論2: "あの明治中期は力無くない"が導かれる
4. 事実1から、推論3: "もしあの明治中期は力無いということはないならば「それは抜け易いということはないけど天狗らしい」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "「あの明治中期は抜け易くない一方で天狗らしい」ということは成り立たない"が導かれる
6. 推論4と事実12から、推論5: "あの国家政治保安部は生き易いということはない"が導かれる
7. 仮定2: 以下のように仮定する。あの国家政治保安部は生き易い
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "「あの明治中期は宿敵でない一方で潔い」ということは成り立つということはない"が導かれる
10. 推論7と事実8から、推論8: "この戦争体験は発明する"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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