あの同室は浄化する
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: 地国は想定し難い fact27: この初期宇宙は浄化しない
fact19 & fact16 -> int1: この初期宇宙は地国で謝罪である; int1 & fact23 -> int2: 「あの部門長は注ぎ続けるということはない」ということは間違っていない; int2 & fact13 -> int3: その寒流は提案す; int3 & fact9 -> int4: その寒流は想定し難い; int4 & fact8 -> int5: その寒流は想定し難いしかつ泥である; int5 -> int6: 「想定し難いし泥な」物はある; int6 & fact25 -> hypothesis;
「あの同室は浄化する」ということは確かだ
fact32 -> int7: 仮にその外来文化は引っ越ししないとしたら「「生まれ易いが底深くない」ということは間違いでない」ということは成り立つということはない; fact29 -> int8: その外来文化は引っ越ししない; int7 & int8 -> int9: 「その外来文化は生まれ易いけどそれは底深くない」ということは誤っている; int9 -> int10: 生まれ易いけど底深くないという物はない; int10 -> int11: 「このサービス費は生まれ易いけど底深くない」ということは成り立たない; fact34 -> int12: もし「このサービス費は生まれ易い一方で底深くない」ということは成り立たないなら「分離し易くない」ということは確かだ; int11 & int12 -> int13: このサービス費は分離し易いということはない; fact28 -> int14: もしも「あの部門長は提案すらない」ということは事実ならば注ぎ続けないし想定し難くない;
$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: 地国は想定し難い fact27: この初期宇宙は浄化しない ; $hypothesis$ = あの同室は浄化する ; $proof$ = 
fact19 & fact16 -> int1: この初期宇宙は地国で謝罪である; int1 & fact23 -> int2: 「あの部門長は注ぎ続けるということはない」ということは間違っていない; int2 & fact13 -> int3: その寒流は提案す; int3 & fact9 -> int4: その寒流は想定し難い; int4 & fact8 -> int5: その寒流は想定し難いしかつ泥である; int5 -> int6: 「想定し難いし泥な」物はある; int6 & fact25 -> 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: 地国は想定し難い
事実27: この初期宇宙は浄化しない

仮説: あの同室は浄化する
1. 事実19と事実16から、推論1: "この初期宇宙は地国で謝罪である"が導かれる
2. 推論1と事実23から、推論2: "「あの部門長は注ぎ続けるということはない」ということは間違っていない"が導かれる
3. 推論2と事実13から、推論3: "その寒流は提案す"が導かれる
4. 推論3と事実9から、推論4: "その寒流は想定し難い"が導かれる
5. 推論4と事実8から、推論5: "その寒流は想定し難いしかつ泥である"が導かれる
6. 推論5から、推論6: "「想定し難いし泥な」物はある"が導かれる
7. 推論6と事実25から、仮説が否定される

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