そのフォーメーションは聡い
fact1: もし仮になんらかのものが道路特定事業計画でないとしたらそのカード・ゲームはリスボン宣言である fact2: そのフォーメーションはすんごい fact3: もしもそのフォーメーションは急逝するとすると「この無限大は聡くないけれどすんごい」ということは成り立たない fact4: もしもあの肉襞はけばけばしいなら「その累計はネイティブらしい」ということは事実だ fact5: もしも「あの俺形は仕事らしくない」ということは成り立てばそのフォーメーションは安心出来ないしかつそれはルミフロンでない fact6: もし仮に「あの俺形は道路特定事業計画であるしそれに海賊達だ」ということは間違いならば道路特定事業計画でない fact7: あの不安要因は二次電池でしかもそれは聡い fact8: 「そのフォーメーションはルミフロンである」ということは成り立つ fact9: もしとある物はすんごくないとすると「急逝するし仕事らしい」ということは嘘である fact10: 仕事らしいということはない物は安心出来るししかもルミフロンだ fact11: 何らかのものが安心出来ないしかつルミフロンでないならばそれは聡い fact12: 仮に仕事らしい物は安心出来るとしたら「聡くない」ということは確かである fact13: 「仮にあの肉襞が取り掛かり易いならばその累計はネイティブらしい」ということは事実だ fact14: もしもあの俺形が道路特定事業計画でないとすればそれが狭小だしリスボン宣言だ fact15: そのフォーメーションはルミフロンであるしそれは安心出来る fact16: その二月初めは道路特定事業計画であるということはない fact17: 「ネイティブらしい」物があるとするとそのカード・ゲームは狭小であるし海賊達である fact18: もし仮にあの俺形がリスボン宣言だとすればそのフォーメーションは急逝する fact19: 仮に「何かは急逝するしまたそれは仕事らしい」ということは間違いであるとしたらそれは仕事らしくない fact20: もし仮にあの俺形はネイティブらしくないとしたら「それは道路特定事業計画で海賊達だ」ということは嘘である fact21: あの肉襞は取り掛かり易いかけばけばしいかどちらもである fact22: そのフォーメーションは仕事らしいしその上すんごい
fact15 -> int1: そのフォーメーションは安心出来る; fact22 -> int2: そのフォーメーションは仕事らしい; int1 & int2 -> int3: そのフォーメーションは仕事らしいしその上安心出来る; fact12 -> int4: もし仮にそのフォーメーションが仕事らしいしさらにそれは安心出来るとすると「聡くない」ということは確かだ; int3 & int4 -> hypothesis;
fact15 -> int1: {B}{a}; fact22 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact12 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
この無限大はルミフロンである
fact25 -> int5: もし仮にこの無限大が仕事らしいということはないならばそれは安心出来るしかつルミフロンである;
$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$ = 
fact15 -> int1: そのフォーメーションは安心出来る; fact22 -> int2: そのフォーメーションは仕事らしい; int1 & int2 -> int3: そのフォーメーションは仕事らしいしその上安心出来る; fact12 -> int4: もし仮にそのフォーメーションが仕事らしいしさらにそれは安心出来るとすると「聡くない」ということは確かだ; int3 & int4 -> 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. 事実15から、推論1: "そのフォーメーションは安心出来る"が導かれる
2. 事実22から、推論2: "そのフォーメーションは仕事らしい"が導かれる
3. 推論1と推論2から、推論3: "そのフォーメーションは仕事らしいしその上安心出来る"が導かれる
4. 事実12から、推論4: "もし仮にそのフォーメーションが仕事らしいしさらにそれは安心出来るとすると「聡くない」ということは確かだ"が導かれる
5. 推論3と推論4から、仮説が否定される

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