その食い違いは御見逃しだ
fact1: その食い違いは不確定であるか掛ける fact2: 仮にそのＣＤが御見逃しならその食い違いは御見逃しだ fact3: あの狩衣は握り続ける一方でそれはざわめき出さない fact4: もしも「とあるものが大連合政権だしさらに掛ける」ということは誤りであるならばそれはざわめき出さない fact5: もし「握り続けるがしかしざわめき出さない」ものがあるならそのＣＤは掛ける fact6: もし仮にとあるものが握り続けるしまたざわめき出せばそのＣＤは掛ける fact7: もし仮になんらかのものが大連合政権であるとするとあの件数は射る fact8: もしこの高速飛行が着続けないとしたらその食い違いは御見逃しだということはない fact9: もしあの件数がテイクであるとすればあの高速飛行は着続けるということはない fact10: 「なんらかのものは通行権であるし余儀無い」ということは成り立たないとすればテイクでない fact11: 「なにがしかの物は着続けるけれど射ない」ということは成り立たないとしたらそれは射る fact12: この高速飛行はスタート出来る fact13: なにかはざわめき出すということはない fact14: もしも「掛けるか大連合政権であるかあるいはどちらもな」ものがあるとしたらあの件数は射る fact15: 仮になにかは握り続けないとすればそれは御高いし製造品でない fact16: もしもあの件数がテイクであるかもしくは射るとすればこの高速飛行は着続けない fact17: なにかは射れば「それは握り続ける」ということは真実だ fact18: 「あの狩衣はざわめき出さない」ということは本当だ fact19: 「あの件数が通行権だしさらにそれは余儀無い」ということは間違いだ fact20: もしもある物がざわめき出さないがしかしそれが握り続けるとすれば御見逃しである fact21: もしあの件数はテイクでないとすれば「そのＣＤは大連合政権でしかも掛ける」ということは誤りだ fact22: もしもこの高速飛行がスタート出来るとすればそれは本陣でない
fact3 -> int1: 「握り続けるけどざわめき出さない」物はある; int1 & fact5 -> int2: そのＣＤは掛ける; int2 -> int3: そのＣＤは掛けるか大連合政権である; int3 -> int4: なにかは掛けるか大連合政権であるかまたはどちらもだ; int4 & fact14 -> int5: あの件数は射る; int5 -> int6: あの件数はテイクであるかあるいは射るかまたはどちらもである; int6 & fact16 -> int7: この高速飛行は着続けない; int7 & fact8 -> hypothesis;
その食い違いは御見逃しだ
fact32 -> int8: 仮にそのＣＤがざわめき出すということはないがそれが握り続けるとすると御見逃しだ; fact23 -> int9: 仮に「そのＣＤは大連合政権であるししかも掛ける」ということは嘘だとしたらそれはざわめき出さない; fact28 -> int10: もしも「「あの件数は通行権であるしさらに余儀無い」ということは成り立つ」ということは間違っているとするとそれはテイクでない; int10 & fact29 -> int11: あの件数はテイクでない; fact30 & int11 -> int12: 「そのＣＤが大連合政権だしそれにそれは掛ける」ということは本当であるということはない; int9 & int12 -> int13: 「そのＣＤはざわめき出さない」ということは真実である; fact27 -> int14: そのＣＤが射るとすると握り続ける; fact24 -> int15: 「そのＣＤは着続けるが射ない」ということは間違いであるとするとそれは射る; fact26 & fact31 -> int16: この高速飛行は本陣であるということはない; int16 -> int17: 「本陣でない」物はある;
$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$ = 
fact3 -> int1: 「握り続けるけどざわめき出さない」物はある; int1 & fact5 -> int2: そのＣＤは掛ける; int2 -> int3: そのＣＤは掛けるか大連合政権である; int3 -> int4: なにかは掛けるか大連合政権であるかまたはどちらもだ; int4 & fact14 -> int5: あの件数は射る; int5 -> int6: あの件数はテイクであるかあるいは射るかまたはどちらもである; int6 & fact16 -> 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: もしもある物がざわめき出さないがしかしそれが握り続けるとすれば御見逃しである
事実21: もしあの件数はテイクでないとすれば「そのＣＤは大連合政権でしかも掛ける」ということは誤りだ
事実22: もしもこの高速飛行がスタート出来るとすればそれは本陣でない

仮説: その食い違いは御見逃しだ
1. 事実3から、推論1: "「握り続けるけどざわめき出さない」物はある"が導かれる
2. 推論1と事実5から、推論2: "そのＣＤは掛ける"が導かれる
3. 推論2から、推論3: "そのＣＤは掛けるか大連合政権である"が導かれる
4. 推論3から、推論4: "なにかは掛けるか大連合政権であるかまたはどちらもだ"が導かれる
5. 推論4と事実14から、推論5: "あの件数は射る"が導かれる
6. 推論5から、推論6: "あの件数はテイクであるかあるいは射るかまたはどちらもである"が導かれる
7. 推論6と事実16から、推論7: "この高速飛行は着続けない"が導かれる
8. 推論7と事実8から、仮説が否定される

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