「そのロイス・サウスが各食品だしまたそれは二十五パーセント以上だ」ということは成り立つということはない
fact1: あの一形式はＣＡＴＶインターネットであるしかつそれは弄う fact2: あの一形式は弄う fact3: もしそのロイス・サウスが引き抜けるとするとあの日雇いは引き抜ける fact4: もしもあの一形式がマクロ・モデルだとすればそれは戦略的提携でない fact5: あの日雇いは引き抜けるかもしくは二十五パーセント以上だ fact6: なにがしかのものはＣＡＴＶインターネットであるということはないならば「各食品だしおまけにそれは二十五パーセント以上である」ということは成り立たない fact7: もしあの一形式が弄うとするとあの日雇いはマクロ・モデルである fact8: もしもなにかはマクロ・モデルならば「戦略的提携でない」ということは事実である fact9: あの日雇いは近しい fact10: もしそのロイス・サウスがマクロ・モデルならそれは共同出資する fact11: 「あの一形式は戦略的提携でない」ということは成り立つ fact12: 「あの日雇いは各食品である」ということは嘘でない fact13: もしあの日雇いが二十五パーセント以上だとしたらそのロイス・サウスは二十五パーセント以上である fact14: もし仮に何らかのものは近しいとしたら「それはマクロ・モデルでなくておまけに弄わない」ということは誤りだ fact15: もしもあの日雇いは引き抜けるとすれば「そのロイス・サウスは二十五パーセント以上である」ということは真実だ fact16: 「もしあの一形式が確からしいとするとあの一形式はマクロ・モデルである」ということは成り立つ fact17: そのＺＸは福井地震であるしかつ確からしい fact18: もし仮になんらかのものがＣＡＴＶインターネットだとするとそれは確からしい fact19: もし仮にあの一形式が近しいとすればそのロイス・サウスは各食品である fact20: 仮にそのロイス・サウスが近しいならあの一形式は二十五パーセント以上だ fact21: もしも「なにがしかのものはマクロ・モデルであるということはないししかもそれは弄わない」ということは間違いであるとしたら「それは弄う」ということは真実だ fact22: 仮にとあるものがマクロ・モデルであるとすると戦略的提携でなくてそれは近しい
fact1 -> int1: あの一形式はＣＡＴＶインターネットだ; fact18 -> int2: もし仮にあの一形式がＣＡＴＶインターネットなら確からしい; int1 & int2 -> int3: あの一形式は確からしい; int3 & fact16 -> int4: あの一形式はマクロ・モデルである; fact22 -> int5: もしあの一形式がマクロ・モデルであるとすると戦略的提携でなくてそれに近しい; int4 & int5 -> int6: あの一形式は戦略的提携でないけれど近しい; int6 -> int7: あの一形式は近しい; int7 & fact19 -> int8: 「そのロイス・サウスは各食品だ」ということは事実である; fact5 & fact13 & fact15 -> int9: そのロイス・サウスは二十五パーセント以上である; int8 & int9 -> hypothesis;
「そのロイス・サウスは各食品だし加えて二十五パーセント以上だ」ということは偽だ
fact26 -> int10: そのロイス・サウスはＣＡＴＶインターネットでないとすると「それは各食品であるしさらに二十五パーセント以上である」ということは成り立たない; fact24 -> int11: もし「あの日雇いはマクロ・モデルであるということはないしその上弄わない」ということは嘘であるとすると弄う; fact23 -> int12: 「あの日雇いは近しい」ということは真実だとしたら「「それはマクロ・モデルでないし更に弄わない」ということは確かである」ということは成り立たない; int12 & fact25 -> int13: 「あの日雇いはマクロ・モデルでなくてそれに弄わない」ということは成り立たない; int11 & int13 -> int14: 「あの日雇いは弄う」ということは本当である; int14 -> int15: なにかは弄う;
$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$ = 
fact1 -> int1: あの一形式はＣＡＴＶインターネットだ; fact18 -> int2: もし仮にあの一形式がＣＡＴＶインターネットなら確からしい; int1 & int2 -> int3: あの一形式は確からしい; int3 & fact16 -> int4: あの一形式はマクロ・モデルである; fact22 -> int5: もしあの一形式がマクロ・モデルであるとすると戦略的提携でなくてそれに近しい; int4 & int5 -> int6: あの一形式は戦略的提携でないけれど近しい; int6 -> int7: あの一形式は近しい; int7 & fact19 -> int8: 「そのロイス・サウスは各食品だ」ということは事実である; fact5 & fact13 & fact15 -> int9: そのロイス・サウスは二十五パーセント以上である; int8 & int9 -> 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. 事実1から、推論1: "あの一形式はＣＡＴＶインターネットだ"が導かれる
2. 事実18から、推論2: "もし仮にあの一形式がＣＡＴＶインターネットなら確からしい"が導かれる
3. 推論1と推論2から、推論3: "あの一形式は確からしい"が導かれる
4. 推論3と事実16から、推論4: "あの一形式はマクロ・モデルである"が導かれる
5. 事実22から、推論5: "もしあの一形式がマクロ・モデルであるとすると戦略的提携でなくてそれに近しい"が導かれる
6. 推論4と推論5から、推論6: "あの一形式は戦略的提携でないけれど近しい"が導かれる
7. 推論6から、推論7: "あの一形式は近しい"が導かれる
8. 推論7と事実19から、推論8: "「そのロイス・サウスは各食品だ」ということは事実である"が導かれる
9. 事実5と事実13と事実15から、推論9: "そのロイス・サウスは二十五パーセント以上である"が導かれる
10. 推論8と推論9から、仮説が否定される

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