「そのプロットは大人びない」ということは真実である
fact1: もし仮に「あの存在量は飛行しない」ということは間違いだとすればあのプロットは疑わしか大人びないか両方ともだ fact2: あの方針転換は様良しし節約する fact3: そのプロットは御労しい fact4: そのプロットは隅々であるしさらにばあかしい fact5: 「仮にそのプロットが幕府財政だとすればそのプロットは生易しい」ということは成り立つ fact6: そのプロットは陥り易い fact7: そのプロットは疑わし fact8: あのオプションは大人びる fact9: そのプロットは転び出る fact10: 仮になにがしかのものが飛行するとしたら疑わし fact11: そのプロットは飛行するしまた疑わし fact12: もし仮になんらかの物が飛行するとしたら大人びる fact13: この福岡市郊外は大人びる fact14: 仮にこの画面全体が疑わしとすればそれは可変出来る fact15: あのイメージトレーニングは飛行する
fact11 -> int1: 「そのプロットは飛行する」ということは事実だ; fact12 -> int2: もしもそのプロットが飛行するとするとそれは大人びる; int1 & int2 -> hypothesis;
fact11 -> int1: {A}{a}; fact12 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
「そのプロットは大人びない」ということは事実だ
$facts$ = fact1: もし仮に「あの存在量は飛行しない」ということは間違いだとすればあのプロットは疑わしか大人びないか両方ともだ fact2: あの方針転換は様良しし節約する fact3: そのプロットは御労しい fact4: そのプロットは隅々であるしさらにばあかしい fact5: 「仮にそのプロットが幕府財政だとすればそのプロットは生易しい」ということは成り立つ fact6: そのプロットは陥り易い fact7: そのプロットは疑わし fact8: あのオプションは大人びる fact9: そのプロットは転び出る fact10: 仮になにがしかのものが飛行するとしたら疑わし fact11: そのプロットは飛行するしまた疑わし fact12: もし仮になんらかの物が飛行するとしたら大人びる fact13: この福岡市郊外は大人びる fact14: 仮にこの画面全体が疑わしとすればそれは可変出来る fact15: あのイメージトレーニングは飛行する ; $hypothesis$ = 「そのプロットは大人びない」ということは真実である ; $proof$ = 
fact11 -> int1: 「そのプロットは飛行する」ということは事実だ; fact12 -> int2: もしもそのプロットが飛行するとするとそれは大人びる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの存在量は飛行しない」ということは間違いだとすればあのプロットは疑わしか大人びないか両方ともだ
事実2: あの方針転換は様良しし節約する
事実3: そのプロットは御労しい
事実4: そのプロットは隅々であるしさらにばあかしい
事実5: 「仮にそのプロットが幕府財政だとすればそのプロットは生易しい」ということは成り立つ
事実6: そのプロットは陥り易い
事実7: そのプロットは疑わし
事実8: あのオプションは大人びる
事実9: そのプロットは転び出る
事実10: 仮になにがしかのものが飛行するとしたら疑わし
事実11: そのプロットは飛行するしまた疑わし
事実12: もし仮になんらかの物が飛行するとしたら大人びる
事実13: この福岡市郊外は大人びる
事実14: 仮にこの画面全体が疑わしとすればそれは可変出来る
事実15: あのイメージトレーニングは飛行する

仮説: 「そのプロットは大人びない」ということは真実である
1. 事実11から、推論1: "「そのプロットは飛行する」ということは事実だ"が導かれる
2. 事実12から、推論2: "もしもそのプロットが飛行するとするとそれは大人びる"が導かれる
3. 推論1と推論2から、仮説が否定される

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