あの洗面台は餓鬼っぽいけど騙され易くない
fact1: 「この内生変数は灯籠であるし餓鬼っぽい」ということは誤っている fact2: もし仮にあの洗面台は生うないとすれば「それは魔法薬でないし更にそれは利用し易くない」ということは成り立たない fact3: あのウオーキングシューズは生う fact4: もし仮に小暗いものが溶け難いならばそれは立て替えない fact5: もし仮に「この内生変数は灯籠である」ということは正しいとすると感慨深い fact6: あのウオーキングシューズは小暗くてそれに魔法薬である fact7: あのウオーキングシューズは魔法薬である fact8: あの洗面台が小暗いとしたらそれは人恋しい fact9: もしもあのウオーキングシューズは騙され易いとすると「あの洗面台は餓鬼っぽいが騙され易くない」ということは嘘である fact10: この内生変数は溶け難いとしたら「「あのウオーキングシューズは小暗いがしかし魔法薬でない」ということは誤りだ」ということは真実だ fact11: この内生変数が立て替えるとすればあのウオーキングシューズは立て替える fact12: 仮に「何らかの物は魔法薬でなくてまた利用し易くない」ということは真実でないとすれば「それは利用し易い」ということは成り立つ fact13: もしあの洗面台は溶け難いとすれば「それは小暗い」ということは事実だ fact14: 「あの洗面台は餓鬼っぽいししかも騙され易い」ということは成り立たない fact15: もしもあのウオーキングシューズが溶け難くないとすれば生うしさらに騙され易い fact16: もしもあのウオーキングシューズは騙され易いならば「あの洗面台は餓鬼っぽくて加えて騙され易い」ということは成り立たない fact17: この内生変数は灯籠である fact18: 仮になにがしかの物が感慨深いならば立て替える
fact6 -> int1: あのウオーキングシューズは小暗い; void -> assump1: 以下のように仮定する。あのウオーキングシューズは溶け難い; int1 & assump1 -> int2: あのウオーキングシューズは小暗くて溶け難い; fact4 -> int3: あのウオーキングシューズは小暗いし溶け難いならば「立て替えるということはない」ということは成り立つ; int2 & int3 -> int4: あのウオーキングシューズは立て替えない; fact18 -> int5: もし仮にこの内生変数が感慨深いとするとそれは立て替える; fact5 & fact17 -> int6: この内生変数は感慨深い; int5 & int6 -> int7: この内生変数は立て替える; int7 & fact11 -> int8: あのウオーキングシューズは立て替える; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのウオーキングシューズは溶け難くない; int10 & fact15 -> int11: あのウオーキングシューズは生うしさらに騙され易い; int11 -> int12: あのウオーキングシューズは騙され易い; int12 & fact9 -> hypothesis;
あの洗面台は餓鬼っぽいけれどそれは騙され易くない
$facts$ = fact1: 「この内生変数は灯籠であるし餓鬼っぽい」ということは誤っている fact2: もし仮にあの洗面台は生うないとすれば「それは魔法薬でないし更にそれは利用し易くない」ということは成り立たない fact3: あのウオーキングシューズは生う fact4: もし仮に小暗いものが溶け難いならばそれは立て替えない fact5: もし仮に「この内生変数は灯籠である」ということは正しいとすると感慨深い fact6: あのウオーキングシューズは小暗くてそれに魔法薬である fact7: あのウオーキングシューズは魔法薬である fact8: あの洗面台が小暗いとしたらそれは人恋しい fact9: もしもあのウオーキングシューズは騙され易いとすると「あの洗面台は餓鬼っぽいが騙され易くない」ということは嘘である fact10: この内生変数は溶け難いとしたら「「あのウオーキングシューズは小暗いがしかし魔法薬でない」ということは誤りだ」ということは真実だ fact11: この内生変数が立て替えるとすればあのウオーキングシューズは立て替える fact12: 仮に「何らかの物は魔法薬でなくてまた利用し易くない」ということは真実でないとすれば「それは利用し易い」ということは成り立つ fact13: もしあの洗面台は溶け難いとすれば「それは小暗い」ということは事実だ fact14: 「あの洗面台は餓鬼っぽいししかも騙され易い」ということは成り立たない fact15: もしもあのウオーキングシューズが溶け難くないとすれば生うしさらに騙され易い fact16: もしもあのウオーキングシューズは騙され易いならば「あの洗面台は餓鬼っぽくて加えて騙され易い」ということは成り立たない fact17: この内生変数は灯籠である fact18: 仮になにがしかの物が感慨深いならば立て替える ; $hypothesis$ = あの洗面台は餓鬼っぽいけど騙され易くない ; $proof$ = 
fact6 -> int1: あのウオーキングシューズは小暗い; void -> assump1: 以下のように仮定する。あのウオーキングシューズは溶け難い; int1 & assump1 -> int2: あのウオーキングシューズは小暗くて溶け難い; fact4 -> int3: あのウオーキングシューズは小暗いし溶け難いならば「立て替えるということはない」ということは成り立つ; int2 & int3 -> int4: あのウオーキングシューズは立て替えない; fact18 -> int5: もし仮にこの内生変数が感慨深いとするとそれは立て替える; fact5 & fact17 -> int6: この内生変数は感慨深い; int5 & int6 -> int7: この内生変数は立て替える; int7 & fact11 -> int8: あのウオーキングシューズは立て替える; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あのウオーキングシューズは溶け難くない; int10 & fact15 -> int11: あのウオーキングシューズは生うしさらに騙され易い; int11 -> int12: あのウオーキングシューズは騙され易い; int12 & fact9 -> hypothesis; __DISPROVED__
事実1: 「この内生変数は灯籠であるし餓鬼っぽい」ということは誤っている
事実2: もし仮にあの洗面台は生うないとすれば「それは魔法薬でないし更にそれは利用し易くない」ということは成り立たない
事実3: あのウオーキングシューズは生う
事実4: もし仮に小暗いものが溶け難いならばそれは立て替えない
事実5: もし仮に「この内生変数は灯籠である」ということは正しいとすると感慨深い
事実6: あのウオーキングシューズは小暗くてそれに魔法薬である
事実7: あのウオーキングシューズは魔法薬である
事実8: あの洗面台が小暗いとしたらそれは人恋しい
事実9: もしもあのウオーキングシューズは騙され易いとすると「あの洗面台は餓鬼っぽいが騙され易くない」ということは嘘である
事実10: この内生変数は溶け難いとしたら「「あのウオーキングシューズは小暗いがしかし魔法薬でない」ということは誤りだ」ということは真実だ
事実11: この内生変数が立て替えるとすればあのウオーキングシューズは立て替える
事実12: 仮に「何らかの物は魔法薬でなくてまた利用し易くない」ということは真実でないとすれば「それは利用し易い」ということは成り立つ
事実13: もしあの洗面台は溶け難いとすれば「それは小暗い」ということは事実だ
事実14: 「あの洗面台は餓鬼っぽいししかも騙され易い」ということは成り立たない
事実15: もしもあのウオーキングシューズが溶け難くないとすれば生うしさらに騙され易い
事実16: もしもあのウオーキングシューズは騙され易いならば「あの洗面台は餓鬼っぽくて加えて騙され易い」ということは成り立たない
事実17: この内生変数は灯籠である
事実18: 仮になにがしかの物が感慨深いならば立て替える

仮説: あの洗面台は餓鬼っぽいけど騙され易くない
1. 事実6から、推論1: "あのウオーキングシューズは小暗い"が導かれる
2. 仮定1: 以下のように仮定する。あのウオーキングシューズは溶け難い
3. 推論1と仮定1から、推論2: "あのウオーキングシューズは小暗くて溶け難い"が導かれる
4. 事実4から、推論3: "あのウオーキングシューズは小暗いし溶け難いならば「立て替えるということはない」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "あのウオーキングシューズは立て替えない"が導かれる
6. 事実18から、推論5: "もし仮にこの内生変数が感慨深いとするとそれは立て替える"が導かれる
7. 事実5と事実17から、推論6: "この内生変数は感慨深い"が導かれる
8. 推論5と推論6から、推論7: "この内生変数は立て替える"が導かれる
9. 推論7と事実11から、推論8: "あのウオーキングシューズは立て替える"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あのウオーキングシューズは溶け難くない"が導かれる
12. 推論10と事実15から、推論11: "あのウオーキングシューズは生うしさらに騙され易い"が導かれる
13. 推論11から、推論12: "あのウオーキングシューズは騙され易い"が導かれる
14. 推論12と事実9から、仮説が否定される

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