そのドットは眠る
fact1: そのドットは優先する fact2: 仮になんらかのものが実現化するしさらにそれはＧＯＯＳＥであるとすれば恨めしくない fact3: この有機物は恨めしい fact4: 「「聞き取り易いしかつ優先する」ということは誤っている」ものはある fact5: 仮になにかは聞き取り易くないとしたらそのドットは恨めしい fact6: もし仮にそのドットが重苦しいとすれば転送出来る fact7: もし仮に「とあるものは優先しない」ということは真実であるとすると「それは聞き取り易くてそれにそれは恨めしい」ということは誤っている fact8: 仮に「そのドットは眠る」ということは本当であるとしたら「実現化する」ということは成り立つ fact9: 「「「聞き取り易いしまた優先する」ということは間違いな」ものはあるとすれば「そのドットは恨めしい」ということは正しい」ということは成り立つ fact10: この五十絡みは貸し付けない fact11: 「そのドットは浮き上がる」ということは正しい fact12: そのドットは恐れ多い fact13: もしそのドットが恐れ多いならそれはＧＯＯＳＥだ fact14: あるものがＧＯＯＳＥでないなら実現化するしそれは眠る fact15: そのドットは聞き取り易い fact16: もし仮にそのドットがバップなら東進する
void -> assump1: 以下のように仮定する。そのドットは眠る; fact8 & assump1 -> int1: 「そのドットは実現化する」ということは事実である; fact12 & fact13 -> int2: そのドットはＧＯＯＳＥだ; int1 & int2 -> int3: そのドットは実現化するし加えてＧＯＯＳＥである; fact2 -> int4: もしもそのドットが実現化するしその上ＧＯＯＳＥであるとすると恨めしくない; int3 & int4 -> int5: そのドットは恨めしくない; fact9 & fact4 -> int6: 「そのドットは恨めしい」ということは成り立つ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
そのドットは眠る
fact17 -> int8: もしそのドットがＧＯＯＳＥでないとしたら実現化するしそれは眠る; fact18 -> int9: もしそのドットは優先しないとすると「聞き取り易いし更にそれは恨めしい」ということは間違いである;
$facts$ = fact1: そのドットは優先する fact2: 仮になんらかのものが実現化するしさらにそれはＧＯＯＳＥであるとすれば恨めしくない fact3: この有機物は恨めしい fact4: 「「聞き取り易いしかつ優先する」ということは誤っている」ものはある fact5: 仮になにかは聞き取り易くないとしたらそのドットは恨めしい fact6: もし仮にそのドットが重苦しいとすれば転送出来る fact7: もし仮に「とあるものは優先しない」ということは真実であるとすると「それは聞き取り易くてそれにそれは恨めしい」ということは誤っている fact8: 仮に「そのドットは眠る」ということは本当であるとしたら「実現化する」ということは成り立つ fact9: 「「「聞き取り易いしまた優先する」ということは間違いな」ものはあるとすれば「そのドットは恨めしい」ということは正しい」ということは成り立つ fact10: この五十絡みは貸し付けない fact11: 「そのドットは浮き上がる」ということは正しい fact12: そのドットは恐れ多い fact13: もしそのドットが恐れ多いならそれはＧＯＯＳＥだ fact14: あるものがＧＯＯＳＥでないなら実現化するしそれは眠る fact15: そのドットは聞き取り易い fact16: もし仮にそのドットがバップなら東進する ; $hypothesis$ = そのドットは眠る ; $proof$ = 
void -> assump1: 以下のように仮定する。そのドットは眠る; fact8 & assump1 -> int1: 「そのドットは実現化する」ということは事実である; fact12 & fact13 -> int2: そのドットはＧＯＯＳＥだ; int1 & int2 -> int3: そのドットは実現化するし加えてＧＯＯＳＥである; fact2 -> int4: もしもそのドットが実現化するしその上ＧＯＯＳＥであるとすると恨めしくない; int3 & int4 -> int5: そのドットは恨めしくない; fact9 & fact4 -> int6: 「そのドットは恨めしい」ということは成り立つ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: そのドットは優先する
事実2: 仮になんらかのものが実現化するしさらにそれはＧＯＯＳＥであるとすれば恨めしくない
事実3: この有機物は恨めしい
事実4: 「「聞き取り易いしかつ優先する」ということは誤っている」ものはある
事実5: 仮になにかは聞き取り易くないとしたらそのドットは恨めしい
事実6: もし仮にそのドットが重苦しいとすれば転送出来る
事実7: もし仮に「とあるものは優先しない」ということは真実であるとすると「それは聞き取り易くてそれにそれは恨めしい」ということは誤っている
事実8: 仮に「そのドットは眠る」ということは本当であるとしたら「実現化する」ということは成り立つ
事実9: 「「「聞き取り易いしまた優先する」ということは間違いな」ものはあるとすれば「そのドットは恨めしい」ということは正しい」ということは成り立つ
事実10: この五十絡みは貸し付けない
事実11: 「そのドットは浮き上がる」ということは正しい
事実12: そのドットは恐れ多い
事実13: もしそのドットが恐れ多いならそれはＧＯＯＳＥだ
事実14: あるものがＧＯＯＳＥでないなら実現化するしそれは眠る
事実15: そのドットは聞き取り易い
事実16: もし仮にそのドットがバップなら東進する

仮説: そのドットは眠る
1. 仮定1: 以下のように仮定する。そのドットは眠る
2. 事実8と仮定1から、推論1: "「そのドットは実現化する」ということは事実である"が導かれる
3. 事実12と事実13から、推論2: "そのドットはＧＯＯＳＥだ"が導かれる
4. 推論1と推論2から、推論3: "そのドットは実現化するし加えてＧＯＯＳＥである"が導かれる
5. 事実2から、推論4: "もしもそのドットが実現化するしその上ＧＯＯＳＥであるとすると恨めしくない"が導かれる
6. 推論3と推論4から、推論5: "そのドットは恨めしくない"が導かれる
7. 事実9と事実4から、推論6: "「そのドットは恨めしい」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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