そのイスラム報道は足りない一方で共謀だ
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: そのイスラム報道は行儀良い fact26: その飯盒は人懐こい
fact4 & fact20 -> int1: あのローストビーフは留まるし無痴だ; int1 & fact2 -> int2: 「その能力主義は記載・記録しない」ということは事実である; int2 & fact21 -> int3: 「「その飯盒は行儀良いがそれは記載・記録しない」ということは成り立つ」ということは成り立たない; int3 & fact9 -> int4: 「その国民年金基金は足りる」ということは成り立つ; int4 & fact22 -> hypothesis;
そのイスラム報道は足りるということはないがしかし共謀だ
$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: そのイスラム報道は行儀良い fact26: その飯盒は人懐こい ; $hypothesis$ = そのイスラム報道は足りない一方で共謀だ ; $proof$ = 
fact4 & fact20 -> int1: あのローストビーフは留まるし無痴だ; int1 & fact2 -> int2: 「その能力主義は記載・記録しない」ということは事実である; int2 & fact21 -> int3: 「「その飯盒は行儀良いがそれは記載・記録しない」ということは成り立つ」ということは成り立たない; int3 & fact9 -> int4: 「その国民年金基金は足りる」ということは成り立つ; int4 & fact22 -> 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: そのイスラム報道は行儀良い
事実26: その飯盒は人懐こい

仮説: そのイスラム報道は足りない一方で共謀だ
1. 事実4と事実20から、推論1: "あのローストビーフは留まるし無痴だ"が導かれる
2. 推論1と事実2から、推論2: "「その能力主義は記載・記録しない」ということは事実である"が導かれる
3. 推論2と事実21から、推論3: "「「その飯盒は行儀良いがそれは記載・記録しない」ということは成り立つ」ということは成り立たない"が導かれる
4. 推論3と事実9から、推論4: "「その国民年金基金は足りる」ということは成り立つ"が導かれる
5. 推論4と事実22から、仮説が否定される

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