あの胃は生え易いし抑制出来る
fact1: 「あるものは嫌らしくないし加えて生え易くない」ということは成り立たないならば「生え易い」ということは本当である fact2: 「「斬殺する一方で標準体重だということはない」ということは事実でない」物があるとするとあの胃は赤備えでない fact3: 「この余録は耕す」ということは確かだ fact4: 「「斬殺するしかつ標準体重でない」ということは誤っている」ものはある fact5: 仮にその第三共和政が抑制出来るとするとあの胃は抑制出来る fact6: もし仮にその第三共和政が成され易いしその上嫌らしいとすると耕さない fact7: もしもその第三共和政は嫌らしくないなら「それは赤備えであるということはないかまたは標準体重でない」ということは真実だ fact8: 「あるものは赤備えでない」ということは確かであるとすると「それは嫌らしくないし生え易くない」ということは成り立たない fact9: もしもあの胃は斬殺しないとすれば「それは生え易くてそれは抑制出来る」ということは間違いである fact10: もしもその第三共和政は標準体重でないとすると「あの胃は斬殺するということはない」ということは正しい fact11: 「その第三共和政は耕す」ということは確かだ fact12: その第三共和政は痛々しくないし移動しないなら成され易い fact13: その第三共和政は痛々しくなくて移動しない fact14: 仮にその第三共和政は赤備えでないならば「あの胃は斬殺しない」ということは成り立つ
fact12 & fact13 -> int1: その第三共和政は成され易い; void -> assump1: 以下のように仮定する。その第三共和政は嫌らしい; int1 & assump1 -> int2: その第三共和政は成され易いし更に嫌らしい; int2 & fact6 -> int3: その第三共和政は耕さない; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: その第三共和政は嫌らしくない; int5 & fact7 -> int6: その第三共和政は赤備えでないかもしくは標準体重でないかまたはどちらもである; int6 & fact14 & fact10 -> int7: あの胃は斬殺しない; int7 & fact9 -> hypothesis;
あの胃は生え易くて更に抑制出来る
fact17 -> int8: もし「あの胃は嫌らしくないしかつ生え易くない」ということは嘘ならば生え易い; fact16 -> int9: もしもあの胃は赤備えでないなら「嫌らしくないしまた生え易くない」ということは間違っている; fact15 & fact18 -> int10: あの胃は赤備えでない; int9 & int10 -> int11: 「あの胃は嫌らしくないしそれは生え易いということはない」ということは事実と異なる; int8 & int11 -> int12: 「あの胃は生え易い」ということは事実だ;
$facts$ = fact1: 「あるものは嫌らしくないし加えて生え易くない」ということは成り立たないならば「生え易い」ということは本当である fact2: 「「斬殺する一方で標準体重だということはない」ということは事実でない」物があるとするとあの胃は赤備えでない fact3: 「この余録は耕す」ということは確かだ fact4: 「「斬殺するしかつ標準体重でない」ということは誤っている」ものはある fact5: 仮にその第三共和政が抑制出来るとするとあの胃は抑制出来る fact6: もし仮にその第三共和政が成され易いしその上嫌らしいとすると耕さない fact7: もしもその第三共和政は嫌らしくないなら「それは赤備えであるということはないかまたは標準体重でない」ということは真実だ fact8: 「あるものは赤備えでない」ということは確かであるとすると「それは嫌らしくないし生え易くない」ということは成り立たない fact9: もしもあの胃は斬殺しないとすれば「それは生え易くてそれは抑制出来る」ということは間違いである fact10: もしもその第三共和政は標準体重でないとすると「あの胃は斬殺するということはない」ということは正しい fact11: 「その第三共和政は耕す」ということは確かだ fact12: その第三共和政は痛々しくないし移動しないなら成され易い fact13: その第三共和政は痛々しくなくて移動しない fact14: 仮にその第三共和政は赤備えでないならば「あの胃は斬殺しない」ということは成り立つ ; $hypothesis$ = あの胃は生え易いし抑制出来る ; $proof$ = 
fact12 & fact13 -> int1: その第三共和政は成され易い; void -> assump1: 以下のように仮定する。その第三共和政は嫌らしい; int1 & assump1 -> int2: その第三共和政は成され易いし更に嫌らしい; int2 & fact6 -> int3: その第三共和政は耕さない; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: その第三共和政は嫌らしくない; int5 & fact7 -> int6: その第三共和政は赤備えでないかもしくは標準体重でないかまたはどちらもである; int6 & fact14 & fact10 -> int7: あの胃は斬殺しない; int7 & fact9 -> hypothesis; __DISPROVED__
事実1: 「あるものは嫌らしくないし加えて生え易くない」ということは成り立たないならば「生え易い」ということは本当である
事実2: 「「斬殺する一方で標準体重だということはない」ということは事実でない」物があるとするとあの胃は赤備えでない
事実3: 「この余録は耕す」ということは確かだ
事実4: 「「斬殺するしかつ標準体重でない」ということは誤っている」ものはある
事実5: 仮にその第三共和政が抑制出来るとするとあの胃は抑制出来る
事実6: もし仮にその第三共和政が成され易いしその上嫌らしいとすると耕さない
事実7: もしもその第三共和政は嫌らしくないなら「それは赤備えであるということはないかまたは標準体重でない」ということは真実だ
事実8: 「あるものは赤備えでない」ということは確かであるとすると「それは嫌らしくないし生え易くない」ということは成り立たない
事実9: もしもあの胃は斬殺しないとすれば「それは生え易くてそれは抑制出来る」ということは間違いである
事実10: もしもその第三共和政は標準体重でないとすると「あの胃は斬殺するということはない」ということは正しい
事実11: 「その第三共和政は耕す」ということは確かだ
事実12: その第三共和政は痛々しくないし移動しないなら成され易い
事実13: その第三共和政は痛々しくなくて移動しない
事実14: 仮にその第三共和政は赤備えでないならば「あの胃は斬殺しない」ということは成り立つ

仮説: あの胃は生え易いし抑制出来る
1. 事実12と事実13から、推論1: "その第三共和政は成され易い"が導かれる
2. 仮定1: 以下のように仮定する。その第三共和政は嫌らしい
3. 推論1と仮定1から、推論2: "その第三共和政は成され易いし更に嫌らしい"が導かれる
4. 推論2と事実6から、推論3: "その第三共和政は耕さない"が導かれる
5. 推論3と事実11から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その第三共和政は嫌らしくない"が導かれる
7. 推論5と事実7から、推論6: "その第三共和政は赤備えでないかもしくは標準体重でないかまたはどちらもである"が導かれる
8. 推論6と事実14と事実10から、推論7: "あの胃は斬殺しない"が導かれる
9. 推論7と事実9から、仮説が否定される

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