あのＢパターンは精神でないがしかし間近い
fact1: もし仮にあの準備委員会がロシア経由であるとしたらあの商品購入は届け出書きだ fact2: 仮に「届け出書きな」ものがあるならあのＢパターンは把握し易くてそれは走り抜ける fact3: 「この均質は遅くないかまたは太刀打ち出来るということはない」ということは間違っている fact4: もしも「とある物は悪賢いけど二段発条しない」ということは成り立たないなら精神である fact5: 「「踏み止まれるということはなくてかつ立ち至る」ということは嘘な」物があるとすればあの制度的仕組みは立ち至らない fact6: 何らかのものは誤り無くないなら「「それは踏み止まれるということはないが立ち至る」ということは事実である」ということは事実と異なる fact7: 「あの実質ＧＤＰはキリスト教信者であるかもしくはそれは御白様であるかまたはどちらもだ」ということは成り立たない fact8: もしも「あのＢパターンはロシア経由である」ということは嘘だということはないならば「精神でないしそれは間近い」ということは成り立たない fact9: もしも何らかの物が走り抜けるならそれは届け出書きである fact10: もしもあの準備委員会が御忙しいとしたらあの商品購入は届け出書きである fact11: もし仮に「あの生産様式は踏み止まれるかそれは支払えるか両方ともだ」ということは成り立たないとしたら「それは立ち至るということはない」ということは成り立つ fact12: なにかは支払えないとすれば「誤り無くておまけに暈かさない」ということは成り立つということはない fact13: 間近いということはない物はロシア経由であるか御忙しいかまたは両方ともだ fact14: 「あの準備委員会は悪賢いけれど二段発条するということはない」ということは誤りである fact15: もしあのＢパターンが把握し易いとすればあのシナリオ分析は支払えない fact16: もしもそのシナリオ分析は立ち至るとすれば「精神であるかもしくはそれは誤り無くないか両方ともである」ということは間違っている fact17: 仮に「そのシナリオ分析は届け出書きだ」ということは正しいとすると「あのＢパターンは御忙しい」ということは嘘でない fact18: 「そのシナリオ分析は精神であるかあるいはそれは誤り無くない」ということは成り立たないとすればあのＢパターンは精神でない fact19: 仮に「誤り無い」ものはあれば「あの生産様式は踏み止まれるか支払えるかまたは両方ともだ」ということは事実と異なる fact20: あのＢパターンが御忙しいならばそれはロシア経由だ fact21: 「この均質は遅くないかまたは太刀打ち出来ない」ということは間違いだとすればあの準備委員会は切り飛ばすということはない fact22: もし「そのシナリオ分析は把握し易いということはないがしかし暈かす」ということは本当であるとするとそれは走り抜ける fact23: 仮にあの生産様式が立ち至らないとしたらそのシナリオ分析は把握し易くないがしかし暈かす fact24: 何らかのものは切り飛ばさないがしかし精神だとしたらそれは間近くない fact25: 何らかの物は誤り無い
fact25 & fact19 -> int1: 「あの生産様式は踏み止まれるかそれは支払えるかあるいは両方である」ということは嘘である; int1 & fact11 -> int2: 「あの生産様式は立ち至らない」ということは成り立つ; int2 & fact23 -> int3: そのシナリオ分析は把握し易いということはないけど暈かす; int3 & fact22 -> int4: そのシナリオ分析は走り抜ける; fact9 -> int5: 仮にそのシナリオ分析が走り抜けるとすれば届け出書きである; int4 & int5 -> int6: そのシナリオ分析は届け出書きである; int6 & fact17 -> int7: あのＢパターンは御忙しい; int7 & fact20 -> int8: あのＢパターンはロシア経由である; int8 & fact8 -> hypothesis;
あの制度的仕組みは立ち至らない
fact37 -> int9: もしもあの生産様式は誤り無くないなら「踏み止まれなくてそれは立ち至る」ということは成り立たない; fact36 -> int10: そのシナリオ分析は支払えないならば「それは誤り無いがしかし暈かさない」ということは誤りだ; fact26 -> int11: 仮にあの準備委員会が間近くないとするとそれはロシア経由であるかあるいはそれは御忙しいかもしくは両方ともだ; fact28 -> int12: あの準備委員会が切り飛ばすということはないけれどそれが精神ならそれは間近くない; fact30 & fact34 -> int13: 「あの準備委員会は切り飛ばさない」ということは確かだ; fact38 -> int14: 「「あの準備委員会は悪賢いけど二段発条するということはない」ということは確かでない」ということは確かならばそれは精神である; int14 & fact27 -> int15: あの準備委員会は精神だ; int13 & int15 -> int16: あの準備委員会は切り飛ばさないがしかしそれは精神である; int12 & int16 -> int17: あの準備委員会は間近くない; int11 & int17 -> int18: あの準備委員会はロシア経由であるかまたはそれは御忙しいかまたは両方ともである; int18 & fact33 & fact32 -> int19: あの商品購入は届け出書きである; int19 -> int20: とあるものは届け出書きだ; int20 & fact29 -> int21: あのＢパターンは把握し易くて加えてそれは走り抜ける; int21 -> int22: 「あのＢパターンは把握し易い」ということは真実である; fact31 & int22 -> int23: そのシナリオ分析は支払えない; int10 & int23 -> int24: 「そのシナリオ分析は誤り無いけど暈かさない」ということは事実と異なる; int24 -> int25: 「「誤り無くて暈かさない」ということは嘘な」ものはある;
$facts$ = fact1: もし仮にあの準備委員会がロシア経由であるとしたらあの商品購入は届け出書きだ fact2: 仮に「届け出書きな」ものがあるならあのＢパターンは把握し易くてそれは走り抜ける fact3: 「この均質は遅くないかまたは太刀打ち出来るということはない」ということは間違っている fact4: もしも「とある物は悪賢いけど二段発条しない」ということは成り立たないなら精神である fact5: 「「踏み止まれるということはなくてかつ立ち至る」ということは嘘な」物があるとすればあの制度的仕組みは立ち至らない fact6: 何らかのものは誤り無くないなら「「それは踏み止まれるということはないが立ち至る」ということは事実である」ということは事実と異なる fact7: 「あの実質ＧＤＰはキリスト教信者であるかもしくはそれは御白様であるかまたはどちらもだ」ということは成り立たない fact8: もしも「あのＢパターンはロシア経由である」ということは嘘だということはないならば「精神でないしそれは間近い」ということは成り立たない fact9: もしも何らかの物が走り抜けるならそれは届け出書きである fact10: もしもあの準備委員会が御忙しいとしたらあの商品購入は届け出書きである fact11: もし仮に「あの生産様式は踏み止まれるかそれは支払えるか両方ともだ」ということは成り立たないとしたら「それは立ち至るということはない」ということは成り立つ fact12: なにかは支払えないとすれば「誤り無くておまけに暈かさない」ということは成り立つということはない fact13: 間近いということはない物はロシア経由であるか御忙しいかまたは両方ともだ fact14: 「あの準備委員会は悪賢いけれど二段発条するということはない」ということは誤りである fact15: もしあのＢパターンが把握し易いとすればあのシナリオ分析は支払えない fact16: もしもそのシナリオ分析は立ち至るとすれば「精神であるかもしくはそれは誤り無くないか両方ともである」ということは間違っている fact17: 仮に「そのシナリオ分析は届け出書きだ」ということは正しいとすると「あのＢパターンは御忙しい」ということは嘘でない fact18: 「そのシナリオ分析は精神であるかあるいはそれは誤り無くない」ということは成り立たないとすればあのＢパターンは精神でない fact19: 仮に「誤り無い」ものはあれば「あの生産様式は踏み止まれるか支払えるかまたは両方ともだ」ということは事実と異なる fact20: あのＢパターンが御忙しいならばそれはロシア経由だ fact21: 「この均質は遅くないかまたは太刀打ち出来ない」ということは間違いだとすればあの準備委員会は切り飛ばすということはない fact22: もし「そのシナリオ分析は把握し易いということはないがしかし暈かす」ということは本当であるとするとそれは走り抜ける fact23: 仮にあの生産様式が立ち至らないとしたらそのシナリオ分析は把握し易くないがしかし暈かす fact24: 何らかのものは切り飛ばさないがしかし精神だとしたらそれは間近くない fact25: 何らかの物は誤り無い ; $hypothesis$ = あのＢパターンは精神でないがしかし間近い ; $proof$ = 
fact25 & fact19 -> int1: 「あの生産様式は踏み止まれるかそれは支払えるかあるいは両方である」ということは嘘である; int1 & fact11 -> int2: 「あの生産様式は立ち至らない」ということは成り立つ; int2 & fact23 -> int3: そのシナリオ分析は把握し易いということはないけど暈かす; int3 & fact22 -> int4: そのシナリオ分析は走り抜ける; fact9 -> int5: 仮にそのシナリオ分析が走り抜けるとすれば届け出書きである; int4 & int5 -> int6: そのシナリオ分析は届け出書きである; int6 & fact17 -> int7: あのＢパターンは御忙しい; int7 & fact20 -> int8: あのＢパターンはロシア経由である; int8 & 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: もし「そのシナリオ分析は把握し易いということはないがしかし暈かす」ということは本当であるとするとそれは走り抜ける
事実23: 仮にあの生産様式が立ち至らないとしたらそのシナリオ分析は把握し易くないがしかし暈かす
事実24: 何らかのものは切り飛ばさないがしかし精神だとしたらそれは間近くない
事実25: 何らかの物は誤り無い

仮説: あのＢパターンは精神でないがしかし間近い
1. 事実25と事実19から、推論1: "「あの生産様式は踏み止まれるかそれは支払えるかあるいは両方である」ということは嘘である"が導かれる
2. 推論1と事実11から、推論2: "「あの生産様式は立ち至らない」ということは成り立つ"が導かれる
3. 推論2と事実23から、推論3: "そのシナリオ分析は把握し易いということはないけど暈かす"が導かれる
4. 推論3と事実22から、推論4: "そのシナリオ分析は走り抜ける"が導かれる
5. 事実9から、推論5: "仮にそのシナリオ分析が走り抜けるとすれば届け出書きである"が導かれる
6. 推論4と推論5から、推論6: "そのシナリオ分析は届け出書きである"が導かれる
7. 推論6と事実17から、推論7: "あのＢパターンは御忙しい"が導かれる
8. 推論7と事実20から、推論8: "あのＢパターンはロシア経由である"が導かれる
9. 推論8と事実8から、仮説が否定される

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