このビザンティン時代は無理無い
fact1: もしもこの川辺川ダムは階層型だとすると「このネオテニーは連結しないし更に遜らない」ということは事実と異なる fact2: この川辺川ダムはでかくて九十五年度だ fact3: 仮になにがしかのものが忘れ掛けるしかつ遜れば階層型だということはない fact4: 何らかのものが階層型でなくて更にそれが連結しないならばこの川辺川ダムは九十五年度である fact5: もし何らかのものが連結するとしたらその板庇社長は忘れ掛けない fact6: もしもこの国民総生産はＣＨＣであるとすると忘れ掛ける fact7: この川辺川ダムは階層型であるならば「このネオテニーは連結するがしかし遜るということはない」ということは成り立たない fact8: もし何らかの物が遜るならばあのネオテニーは階層型でないしその上連結するということはない fact9: この国民総生産が堪え忍ばないならばこのビザンティン時代は無理無くない fact10: 「このネオテニーは連結するけれど遜らない」ということは確かでない fact11: その板庇社長は忘れ掛けないとすると「元凶であるしＣＨＣだ」ということは誤っている fact12: この国民総生産は元凶だとすると「それはＣＨＣである」ということは成り立つ fact13: 「「連結しないが遜る」ということは誤りである」物はある fact14: もしもこの川辺川ダムがでかいとすればそれは階層型である fact15: 「「連結するしかつ遜らない」ということは間違いな」物はある fact16: とある物は連結しないし遜らない fact17: もし「「連結しなくて遜らない」ということは成り立たない」物があるならその板庇社長は忘れ掛けない fact18: その板庇社長がＣＨＣでないとするとこの国民総生産は堪え忍ぶということはない fact19: もし「その板庇社長は元凶でしかもＣＨＣである」ということは事実と異なるとしたらこの国民総生産は堪え忍ばない fact20: もしこの国民総生産が忘れ掛けるならばあの板庇社長は遜る fact21: この川辺川ダムは九十五年度である
fact2 -> int1: この川辺川ダムはでかい; int1 & fact14 -> int2: この川辺川ダムは階層型である; int2 & fact1 -> int3: 「このネオテニーは連結しないし遜るということはない」ということは誤りだ; int3 -> int4: 「「連結するということはなくて遜らない」ということは嘘な」ものはある; int4 & fact17 -> int5: その板庇社長は忘れ掛けない; int5 & fact11 -> int6: 「「その板庇社長は元凶であるしかつＣＨＣである」ということは確かだ」ということは事実でない; int6 & fact19 -> int7: この国民総生産は堪え忍ばない; int7 & fact9 -> hypothesis;
このビザンティン時代は無理無い
$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: この川辺川ダムはでかい; int1 & fact14 -> int2: この川辺川ダムは階層型である; int2 & fact1 -> int3: 「このネオテニーは連結しないし遜るということはない」ということは誤りだ; int3 -> int4: 「「連結するということはなくて遜らない」ということは嘘な」ものはある; int4 & fact17 -> int5: その板庇社長は忘れ掛けない; int5 & fact11 -> int6: 「「その板庇社長は元凶であるしかつＣＨＣである」ということは確かだ」ということは事実でない; int6 & fact19 -> int7: この国民総生産は堪え忍ばない; int7 & fact9 -> 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. 推論1と事実14から、推論2: "この川辺川ダムは階層型である"が導かれる
3. 推論2と事実1から、推論3: "「このネオテニーは連結しないし遜るということはない」ということは誤りだ"が導かれる
4. 推論3から、推論4: "「「連結するということはなくて遜らない」ということは嘘な」ものはある"が導かれる
5. 推論4と事実17から、推論5: "その板庇社長は忘れ掛けない"が導かれる
6. 推論5と事実11から、推論6: "「「その板庇社長は元凶であるしかつＣＨＣである」ということは確かだ」ということは事実でない"が導かれる
7. 推論6と事実19から、推論7: "この国民総生産は堪え忍ばない"が導かれる
8. 推論7と事実9から、仮説が否定される

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