このデータ・モデルは煙たい
fact1: 何かは中核地域であるかまたはそれは希有でないかもしくは両方であるとしたら中核地域である fact2: もしもとあるものは悲し過ぎるか煙たいということはないか両方だとしたら悲し過ぎる fact3: このイルリグ・カガンは中核地域であるかまたはそれは希有でないかあるいは両方ともである fact4: もしこのイルリグ・カガンが煙たいかあるいはそれは呟き続けないかもしくはどちらもであるならば煙たい fact5: 希有は煙たいが中核地域でない fact6: 煙たい物は峰打ちであるか悲し過ぎないか両方ともだ fact7: もしこのデータ・モデルは煙たいけれど中核地域でないとしたら「そのホームヘルプサービスは煙たい」ということは確かである fact8: 「その人間生活は悲し過ぎるかまたは下手人でないかまたは両方だ」ということは確かであるということはない fact9: もし仮に「ある物は悲し過ぎるかそれは呟き続けないかもしくはどちらもである」ということは成り立たないとすればそれは中核地域でない fact10: このイルリグ・カガンはしつこいかあるいは協調作用であるということはない fact11: 「仮にこのイルリグ・カガンが煙たくないとしたらこのデータ・モデルは中核地域でない」ということは成り立つ fact12: 仮にこのイルリグ・カガンが呟き続けないならばこのデータ・モデルは煙たくない fact13: 「この目状は浄化しない一方で出所出来る」ということは嘘だ fact14: 仮になにかは出所出来ないならば如才無いかまたはそれは順位付けする fact15: もしこのイルリグ・カガンが悲し過ぎるならこのデータ・モデルは煙たくない fact16: もしややこしくないものが花園だとしたらそれは希有だ fact17: 仮に「この目状は浄化しないがしかし出所出来る」ということは成り立つということはないとすると出所出来ない fact18: 如才無くない物はややこしくないけど花園だ
fact9 -> int1: もし「このイルリグ・カガンは悲し過ぎるか呟き続けないかあるいはどちらもだ」ということは嘘ならばそれは中核地域でない; void -> assump1: 以下のように仮定する。「このイルリグ・カガンは悲し過ぎるかまたは呟き続けないかまたは両方ともである」ということは事実でない; int1 & assump1 -> int2: このイルリグ・カガンは中核地域でない; fact1 -> int3: もしこのイルリグ・カガンが中核地域であるかまたは希有であるということはないかまたはどちらもであるとすればそれは中核地域である; fact3 & int3 -> int4: このイルリグ・カガンは中核地域だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このイルリグ・カガンは悲し過ぎるかそれは呟き続けない; int6 & fact15 & fact12 -> hypothesis;
そのホームヘルプサービスは峰打ちであるかまたは悲し過ぎるということはないかまたは両方ともである
fact21 -> int7: もし仮にそのホームヘルプサービスが煙たいなら峰打ちであるかまたは悲し過ぎないかもしくは両方である; fact19 -> int8: もしもこのデータ・モデルが希有だとしたら煙たいしそれは中核地域でない; fact25 -> int9: 仮に「このデータ・モデルはややこしくないけど花園だ」ということは本当であるなら希有である; fact20 -> int10: 「仮にこのデータ・モデルが如才無くないならばあのデータ・モデルはややこしくないがしかし花園である」ということは成り立つ; fact22 -> int11: この目状が出所出来ないなら如才無いかまたは順位付けするかあるいは両方だ; fact26 & fact24 -> int12: この目状は出所出来ない; int11 & int12 -> int13: この目状は如才無いかあるいは順位付けする;
$facts$ = fact1: 何かは中核地域であるかまたはそれは希有でないかもしくは両方であるとしたら中核地域である fact2: もしもとあるものは悲し過ぎるか煙たいということはないか両方だとしたら悲し過ぎる fact3: このイルリグ・カガンは中核地域であるかまたはそれは希有でないかあるいは両方ともである fact4: もしこのイルリグ・カガンが煙たいかあるいはそれは呟き続けないかもしくはどちらもであるならば煙たい fact5: 希有は煙たいが中核地域でない fact6: 煙たい物は峰打ちであるか悲し過ぎないか両方ともだ fact7: もしこのデータ・モデルは煙たいけれど中核地域でないとしたら「そのホームヘルプサービスは煙たい」ということは確かである fact8: 「その人間生活は悲し過ぎるかまたは下手人でないかまたは両方だ」ということは確かであるということはない fact9: もし仮に「ある物は悲し過ぎるかそれは呟き続けないかもしくはどちらもである」ということは成り立たないとすればそれは中核地域でない fact10: このイルリグ・カガンはしつこいかあるいは協調作用であるということはない fact11: 「仮にこのイルリグ・カガンが煙たくないとしたらこのデータ・モデルは中核地域でない」ということは成り立つ fact12: 仮にこのイルリグ・カガンが呟き続けないならばこのデータ・モデルは煙たくない fact13: 「この目状は浄化しない一方で出所出来る」ということは嘘だ fact14: 仮になにかは出所出来ないならば如才無いかまたはそれは順位付けする fact15: もしこのイルリグ・カガンが悲し過ぎるならこのデータ・モデルは煙たくない fact16: もしややこしくないものが花園だとしたらそれは希有だ fact17: 仮に「この目状は浄化しないがしかし出所出来る」ということは成り立つということはないとすると出所出来ない fact18: 如才無くない物はややこしくないけど花園だ ; $hypothesis$ = このデータ・モデルは煙たい ; $proof$ = 
fact9 -> int1: もし「このイルリグ・カガンは悲し過ぎるか呟き続けないかあるいはどちらもだ」ということは嘘ならばそれは中核地域でない; void -> assump1: 以下のように仮定する。「このイルリグ・カガンは悲し過ぎるかまたは呟き続けないかまたは両方ともである」ということは事実でない; int1 & assump1 -> int2: このイルリグ・カガンは中核地域でない; fact1 -> int3: もしこのイルリグ・カガンが中核地域であるかまたは希有であるということはないかまたはどちらもであるとすればそれは中核地域である; fact3 & int3 -> int4: このイルリグ・カガンは中核地域だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このイルリグ・カガンは悲し過ぎるかそれは呟き続けない; int6 & fact15 & fact12 -> hypothesis; __DISPROVED__
事実1: 何かは中核地域であるかまたはそれは希有でないかもしくは両方であるとしたら中核地域である
事実2: もしもとあるものは悲し過ぎるか煙たいということはないか両方だとしたら悲し過ぎる
事実3: このイルリグ・カガンは中核地域であるかまたはそれは希有でないかあるいは両方ともである
事実4: もしこのイルリグ・カガンが煙たいかあるいはそれは呟き続けないかもしくはどちらもであるならば煙たい
事実5: 希有は煙たいが中核地域でない
事実6: 煙たい物は峰打ちであるか悲し過ぎないか両方ともだ
事実7: もしこのデータ・モデルは煙たいけれど中核地域でないとしたら「そのホームヘルプサービスは煙たい」ということは確かである
事実8: 「その人間生活は悲し過ぎるかまたは下手人でないかまたは両方だ」ということは確かであるということはない
事実9: もし仮に「ある物は悲し過ぎるかそれは呟き続けないかもしくはどちらもである」ということは成り立たないとすればそれは中核地域でない
事実10: このイルリグ・カガンはしつこいかあるいは協調作用であるということはない
事実11: 「仮にこのイルリグ・カガンが煙たくないとしたらこのデータ・モデルは中核地域でない」ということは成り立つ
事実12: 仮にこのイルリグ・カガンが呟き続けないならばこのデータ・モデルは煙たくない
事実13: 「この目状は浄化しない一方で出所出来る」ということは嘘だ
事実14: 仮になにかは出所出来ないならば如才無いかまたはそれは順位付けする
事実15: もしこのイルリグ・カガンが悲し過ぎるならこのデータ・モデルは煙たくない
事実16: もしややこしくないものが花園だとしたらそれは希有だ
事実17: 仮に「この目状は浄化しないがしかし出所出来る」ということは成り立つということはないとすると出所出来ない
事実18: 如才無くない物はややこしくないけど花園だ

仮説: このデータ・モデルは煙たい
1. 事実9から、推論1: "もし「このイルリグ・カガンは悲し過ぎるか呟き続けないかあるいはどちらもだ」ということは嘘ならばそれは中核地域でない"が導かれる
2. 仮定1: 以下のように仮定する。「このイルリグ・カガンは悲し過ぎるかまたは呟き続けないかまたは両方ともである」ということは事実でない
3. 推論1と仮定1から、推論2: "このイルリグ・カガンは中核地域でない"が導かれる
4. 事実1から、推論3: "もしこのイルリグ・カガンが中核地域であるかまたは希有であるということはないかまたはどちらもであるとすればそれは中核地域である"が導かれる
5. 事実3と推論3から、推論4: "このイルリグ・カガンは中核地域だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "このイルリグ・カガンは悲し過ぎるかそれは呟き続けない"が導かれる
8. 推論6と事実15と事実12から、仮説が否定される

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