あの回線使用料は確認し易くない一方で北部方面隊だ
fact1: 「あの回線使用料は納得し易い」ということは成り立つ fact2: 仮にそのリアリズムが限定しないとしたらそれは態とらしいということはない fact3: この八幡宿は久しい fact4: 「限定する」物はある fact5: 仮にこの八幡宿は態とらしくないとしたら「そのリアリズムは北部方面隊でないがそれは久しい」ということは成り立たない fact6: そのリアリズムは態とらしい fact7: 「北部方面隊である」物はある fact8: もしあのミッドウェー作戦はきつ過ぎないとすると「あの回線使用料は確認し易いということはないけれど北部方面隊だ」ということは誤りである fact9: もし仮にこの八幡宿は久しいとすると「あのミッドウェー作戦は納得し易い」ということは嘘でない fact10: もし仮に何らかの物が限定するししかも久しいとすればあのリアリズムは態とらしくない fact11: 「あのミッドウェー作戦はきつ過ぎるしおまけにそれは確認し易い」ということは成り立つということはないならばあの回線使用料は確認し易くない fact12: 納得し易くない物は久しいということはない一方で北部方面隊だ fact13: もしもとある物がきつ過ぎるし加えて納得し易いとすればそのリアリズムは限定しない fact14: そのリアリズムは確認し易くてまた非政府組織だ fact15: 「あの回線使用料は確認し易くて更に北部方面隊である」ということは嘘だ fact16: 仮にとあるものは限定しないなら「きつ過ぎるしそれは確認し易い」ということは成り立つということはない fact17: もしも「そのリアリズムは納得し易いかあるいは踊り続けない」ということは成り立たないならこの八幡宿は納得し易くない fact18: もし仮にそのリアリズムは態とらしくないならば「あのミッドウェー作戦は確認し易くないけれど納得し易い」ということは嘘である fact19: 仮にそのリアリズムは浅ましくないなら「それは納得し易いかまたは踊り続けない」ということは成り立つということはない fact20: この八幡宿が納得し易くないとするとあの回線使用料は納得し易くない
fact9 & fact3 -> int1: あのミッドウェー作戦は納得し易い; void -> assump1: 以下のように仮定する。あのミッドウェー作戦はきつ過ぎる; int1 & assump1 -> int2: あのミッドウェー作戦はきつ過ぎるし納得し易い; int2 -> int3: 「きつ過ぎるししかも納得し易い」ものはある; int3 & fact13 -> int4: そのリアリズムは限定しない; int4 & fact2 -> int5: そのリアリズムは態とらしくない; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのミッドウェー作戦はきつ過ぎるということはない; int7 & fact8 -> hypothesis;
あの回線使用料は確認し易くないがそれは北部方面隊だ
fact25 -> int8: もしあのミッドウェー作戦は限定しないとすれば「それはきつ過ぎるし確認し易い」ということは嘘である; fact24 -> int9: 仮にあの回線使用料は納得し易くないとしたらそれは久しいということはない一方で北部方面隊だ;
$facts$ = fact1: 「あの回線使用料は納得し易い」ということは成り立つ fact2: 仮にそのリアリズムが限定しないとしたらそれは態とらしいということはない fact3: この八幡宿は久しい fact4: 「限定する」物はある fact5: 仮にこの八幡宿は態とらしくないとしたら「そのリアリズムは北部方面隊でないがそれは久しい」ということは成り立たない fact6: そのリアリズムは態とらしい fact7: 「北部方面隊である」物はある fact8: もしあのミッドウェー作戦はきつ過ぎないとすると「あの回線使用料は確認し易いということはないけれど北部方面隊だ」ということは誤りである fact9: もし仮にこの八幡宿は久しいとすると「あのミッドウェー作戦は納得し易い」ということは嘘でない fact10: もし仮に何らかの物が限定するししかも久しいとすればあのリアリズムは態とらしくない fact11: 「あのミッドウェー作戦はきつ過ぎるしおまけにそれは確認し易い」ということは成り立つということはないならばあの回線使用料は確認し易くない fact12: 納得し易くない物は久しいということはない一方で北部方面隊だ fact13: もしもとある物がきつ過ぎるし加えて納得し易いとすればそのリアリズムは限定しない fact14: そのリアリズムは確認し易くてまた非政府組織だ fact15: 「あの回線使用料は確認し易くて更に北部方面隊である」ということは嘘だ fact16: 仮にとあるものは限定しないなら「きつ過ぎるしそれは確認し易い」ということは成り立つということはない fact17: もしも「そのリアリズムは納得し易いかあるいは踊り続けない」ということは成り立たないならこの八幡宿は納得し易くない fact18: もし仮にそのリアリズムは態とらしくないならば「あのミッドウェー作戦は確認し易くないけれど納得し易い」ということは嘘である fact19: 仮にそのリアリズムは浅ましくないなら「それは納得し易いかまたは踊り続けない」ということは成り立つということはない fact20: この八幡宿が納得し易くないとするとあの回線使用料は納得し易くない ; $hypothesis$ = あの回線使用料は確認し易くない一方で北部方面隊だ ; $proof$ = 
fact9 & fact3 -> int1: あのミッドウェー作戦は納得し易い; void -> assump1: 以下のように仮定する。あのミッドウェー作戦はきつ過ぎる; int1 & assump1 -> int2: あのミッドウェー作戦はきつ過ぎるし納得し易い; int2 -> int3: 「きつ過ぎるししかも納得し易い」ものはある; int3 & fact13 -> int4: そのリアリズムは限定しない; int4 & fact2 -> int5: そのリアリズムは態とらしくない; int5 & fact6 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのミッドウェー作戦はきつ過ぎるということはない; int7 & fact8 -> hypothesis; __DISPROVED__
事実1: 「あの回線使用料は納得し易い」ということは成り立つ
事実2: 仮にそのリアリズムが限定しないとしたらそれは態とらしいということはない
事実3: この八幡宿は久しい
事実4: 「限定する」物はある
事実5: 仮にこの八幡宿は態とらしくないとしたら「そのリアリズムは北部方面隊でないがそれは久しい」ということは成り立たない
事実6: そのリアリズムは態とらしい
事実7: 「北部方面隊である」物はある
事実8: もしあのミッドウェー作戦はきつ過ぎないとすると「あの回線使用料は確認し易いということはないけれど北部方面隊だ」ということは誤りである
事実9: もし仮にこの八幡宿は久しいとすると「あのミッドウェー作戦は納得し易い」ということは嘘でない
事実10: もし仮に何らかの物が限定するししかも久しいとすればあのリアリズムは態とらしくない
事実11: 「あのミッドウェー作戦はきつ過ぎるしおまけにそれは確認し易い」ということは成り立つということはないならばあの回線使用料は確認し易くない
事実12: 納得し易くない物は久しいということはない一方で北部方面隊だ
事実13: もしもとある物がきつ過ぎるし加えて納得し易いとすればそのリアリズムは限定しない
事実14: そのリアリズムは確認し易くてまた非政府組織だ
事実15: 「あの回線使用料は確認し易くて更に北部方面隊である」ということは嘘だ
事実16: 仮にとあるものは限定しないなら「きつ過ぎるしそれは確認し易い」ということは成り立つということはない
事実17: もしも「そのリアリズムは納得し易いかあるいは踊り続けない」ということは成り立たないならこの八幡宿は納得し易くない
事実18: もし仮にそのリアリズムは態とらしくないならば「あのミッドウェー作戦は確認し易くないけれど納得し易い」ということは嘘である
事実19: 仮にそのリアリズムは浅ましくないなら「それは納得し易いかまたは踊り続けない」ということは成り立つということはない
事実20: この八幡宿が納得し易くないとするとあの回線使用料は納得し易くない

仮説: あの回線使用料は確認し易くない一方で北部方面隊だ
1. 事実9と事実3から、推論1: "あのミッドウェー作戦は納得し易い"が導かれる
2. 仮定1: 以下のように仮定する。あのミッドウェー作戦はきつ過ぎる
3. 推論1と仮定1から、推論2: "あのミッドウェー作戦はきつ過ぎるし納得し易い"が導かれる
4. 推論2から、推論3: "「きつ過ぎるししかも納得し易い」ものはある"が導かれる
5. 推論3と事実13から、推論4: "そのリアリズムは限定しない"が導かれる
6. 推論4と事実2から、推論5: "そのリアリズムは態とらしくない"が導かれる
7. 推論5と事実6から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのミッドウェー作戦はきつ過ぎるということはない"が導かれる
9. 推論7と事実8から、仮説が否定される

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