あの違境は大戦末期だ
fact1: もし仮にそのポルト酒が探し易いし加えて水溜まりだとすればあの源家は好もしかない fact2: もしも「その源家は投与するがそれは動き難くない」ということは偽だとしたらあの違境は大戦末期でない fact3: 「その源家は連携関係でない一方で大根である」ということは成り立たないとすればそのポルト酒は大根でない fact4: 好もしかない物は大戦末期であるし睡眠状況である fact5: そのポルト酒は睡眠状況でない fact6: もし仮にそのポルト酒が探し易いけれど水溜まりでないとしたらその源家は好もしかない fact7: そのポルト酒は睡眠状況でないなら探し易いけど水溜まりでない fact8: 「その源家が投与するしその上動き難い」ということは嘘である fact9: そのポルト酒は大戦末期でない fact10: なにがしかのものは好もしかないなら「投与するしさらに動き難くない」ということは成り立たない fact11: もしもある物が大根でないとしたらそれは投与しないしかつそれは動き難い fact12: 仮にその源家は好もしかないとすると「「それは投与するしさらに動き難い」ということは事実と異ならない」ということは誤っている fact13: もしその源家が動き難いとすればあの違境は大戦末期だということはない fact14: もしも当たり易い物があるとすればその源家は誘引するということはない fact15: もし来辛くないものがあるならその改革内容は当たり易い fact16: そのポルト酒は水溜まりでない fact17: そのポルト酒は睡眠状況でないならそれは水溜まりでない fact18: もしなにがしかのものは誘引しないとしたら「「それは連携関係でないが大根である」ということは真実である」ということは偽だ fact19: 何らかの物は好もしいということはないとしたら「投与するしおまけに動き難い」ということは確かでない fact20: 「その旋回限界性能は動き難い」ということは成り立つとしたら探し易い fact21: この細胞診断はα型であるけれど運動・活動でない fact22: もし仮にこの細胞診断がα型だがそれは運動・活動でないとすると来辛くない
fact7 & fact5 -> int1: そのポルト酒は探し易いけれど水溜まりでない; int1 & fact6 -> int2: その源家は好もしかない; fact10 -> int3: もしその源家は好もしかないとすると「投与するしさらにそれは動き難いということはない」ということは間違いだ; int2 & int3 -> int4: 「その源家は投与するけど動き難くない」ということは間違いだ; int4 & fact2 -> hypothesis;
あの違境は大戦末期である
fact27 -> int5: 仮にあの違境が好もしかないなら大戦末期であるしそれは睡眠状況である; fact30 -> int6: もし仮にそのポルト酒が大根でないならそれは投与しないししかもそれは動き難い; fact29 -> int7: 仮にその源家は誘引しないならば「それは連携関係でないがしかし大根だ」ということは間違っている; fact28 & fact23 -> int8: この細胞診断は来辛くない; int8 -> int9: あるものは来辛くない; int9 & fact25 -> int10: その改革内容は当たり易い; int10 -> int11: 「当たり易い」ものはある; int11 & fact26 -> int12: 「その源家は誘引しない」ということは本当である; int7 & int12 -> int13: 「「その源家は連携関係でないけど大根だ」ということは嘘だ」ということは本当だ; fact24 & int13 -> int14: そのポルト酒は大根であるということはない; int6 & int14 -> int15: 「そのポルト酒は投与しないがしかし動き難い」ということは事実である; int15 -> int16: なんらかの物は投与しないが動き難い;
$facts$ = fact1: もし仮にそのポルト酒が探し易いし加えて水溜まりだとすればあの源家は好もしかない fact2: もしも「その源家は投与するがそれは動き難くない」ということは偽だとしたらあの違境は大戦末期でない fact3: 「その源家は連携関係でない一方で大根である」ということは成り立たないとすればそのポルト酒は大根でない fact4: 好もしかない物は大戦末期であるし睡眠状況である fact5: そのポルト酒は睡眠状況でない fact6: もし仮にそのポルト酒が探し易いけれど水溜まりでないとしたらその源家は好もしかない fact7: そのポルト酒は睡眠状況でないなら探し易いけど水溜まりでない fact8: 「その源家が投与するしその上動き難い」ということは嘘である fact9: そのポルト酒は大戦末期でない fact10: なにがしかのものは好もしかないなら「投与するしさらに動き難くない」ということは成り立たない fact11: もしもある物が大根でないとしたらそれは投与しないしかつそれは動き難い fact12: 仮にその源家は好もしかないとすると「「それは投与するしさらに動き難い」ということは事実と異ならない」ということは誤っている fact13: もしその源家が動き難いとすればあの違境は大戦末期だということはない fact14: もしも当たり易い物があるとすればその源家は誘引するということはない fact15: もし来辛くないものがあるならその改革内容は当たり易い fact16: そのポルト酒は水溜まりでない fact17: そのポルト酒は睡眠状況でないならそれは水溜まりでない fact18: もしなにがしかのものは誘引しないとしたら「「それは連携関係でないが大根である」ということは真実である」ということは偽だ fact19: 何らかの物は好もしいということはないとしたら「投与するしおまけに動き難い」ということは確かでない fact20: 「その旋回限界性能は動き難い」ということは成り立つとしたら探し易い fact21: この細胞診断はα型であるけれど運動・活動でない fact22: もし仮にこの細胞診断がα型だがそれは運動・活動でないとすると来辛くない ; $hypothesis$ = あの違境は大戦末期だ ; $proof$ = 
fact7 & fact5 -> int1: そのポルト酒は探し易いけれど水溜まりでない; int1 & fact6 -> int2: その源家は好もしかない; fact10 -> int3: もしその源家は好もしかないとすると「投与するしさらにそれは動き難いということはない」ということは間違いだ; int2 & int3 -> int4: 「その源家は投与するけど動き難くない」ということは間違いだ; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にそのポルト酒が探し易いし加えて水溜まりだとすればあの源家は好もしかない
事実2: もしも「その源家は投与するがそれは動き難くない」ということは偽だとしたらあの違境は大戦末期でない
事実3: 「その源家は連携関係でない一方で大根である」ということは成り立たないとすればそのポルト酒は大根でない
事実4: 好もしかない物は大戦末期であるし睡眠状況である
事実5: そのポルト酒は睡眠状況でない
事実6: もし仮にそのポルト酒が探し易いけれど水溜まりでないとしたらその源家は好もしかない
事実7: そのポルト酒は睡眠状況でないなら探し易いけど水溜まりでない
事実8: 「その源家が投与するしその上動き難い」ということは嘘である
事実9: そのポルト酒は大戦末期でない
事実10: なにがしかのものは好もしかないなら「投与するしさらに動き難くない」ということは成り立たない
事実11: もしもある物が大根でないとしたらそれは投与しないしかつそれは動き難い
事実12: 仮にその源家は好もしかないとすると「「それは投与するしさらに動き難い」ということは事実と異ならない」ということは誤っている
事実13: もしその源家が動き難いとすればあの違境は大戦末期だということはない
事実14: もしも当たり易い物があるとすればその源家は誘引するということはない
事実15: もし来辛くないものがあるならその改革内容は当たり易い
事実16: そのポルト酒は水溜まりでない
事実17: そのポルト酒は睡眠状況でないならそれは水溜まりでない
事実18: もしなにがしかのものは誘引しないとしたら「「それは連携関係でないが大根である」ということは真実である」ということは偽だ
事実19: 何らかの物は好もしいということはないとしたら「投与するしおまけに動き難い」ということは確かでない
事実20: 「その旋回限界性能は動き難い」ということは成り立つとしたら探し易い
事実21: この細胞診断はα型であるけれど運動・活動でない
事実22: もし仮にこの細胞診断がα型だがそれは運動・活動でないとすると来辛くない

仮説: あの違境は大戦末期だ
1. 事実7と事実5から、推論1: "そのポルト酒は探し易いけれど水溜まりでない"が導かれる
2. 推論1と事実6から、推論2: "その源家は好もしかない"が導かれる
3. 事実10から、推論3: "もしその源家は好もしかないとすると「投与するしさらにそれは動き難いということはない」ということは間違いだ"が導かれる
4. 推論2と推論3から、推論4: "「その源家は投与するけど動き難くない」ということは間違いだ"が導かれる
5. 推論4と事実2から、仮説が否定される

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