そのクッキーは遠ざけるということはないけど奥深い
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: セックスレスは最大速度だ
void -> assump1: 以下のように仮定する。そのクッキーは最大速度である; assump1 -> int1: そのクッキーは最大速度であるかまたはセックスレスだ; int1 & fact4 -> int2: この夜叉はフロー状態でない; int2 & fact3 -> int3: 「この時期区分はフロー状態であるということはないけれどそれは遊走である」ということは事実でない; fact11 -> int4: もし仮に「この時期区分はフロー状態でないけれど遊走だ」ということは成り立たないとすれば戻し易い; int3 & int4 -> int5: この時期区分は戻し易い; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのクッキーは最大速度でない; int7 -> int8: そのクッキーは最大速度でないかそれはフラッシュするかどちらもである; fact20 -> int9: そのクッキーが最大速度でないかもしくはそれはフラッシュするかどちらもだとするとそれはすこいということはない; int8 & int9 -> int10: そのクッキーはすこくない; fact15 -> int11: もしそのクッキーはすこくないとしたら「それは遠ざけないけれど奥深い」ということは真実でない; int10 & int11 -> hypothesis;
そのクッキーは遠ざけないがしかしそれは奥深い
fact27 -> int12: もし仮にこの夜叉はセックスレスであるならそれは最大速度だ;
$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: セックスレスは最大速度だ ; $hypothesis$ = そのクッキーは遠ざけるということはないけど奥深い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのクッキーは最大速度である; assump1 -> int1: そのクッキーは最大速度であるかまたはセックスレスだ; int1 & fact4 -> int2: この夜叉はフロー状態でない; int2 & fact3 -> int3: 「この時期区分はフロー状態であるということはないけれどそれは遊走である」ということは事実でない; fact11 -> int4: もし仮に「この時期区分はフロー状態でないけれど遊走だ」ということは成り立たないとすれば戻し易い; int3 & int4 -> int5: この時期区分は戻し易い; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのクッキーは最大速度でない; int7 -> int8: そのクッキーは最大速度でないかそれはフラッシュするかどちらもである; fact20 -> int9: そのクッキーが最大速度でないかもしくはそれはフラッシュするかどちらもだとするとそれはすこいということはない; int8 & int9 -> int10: そのクッキーはすこくない; fact15 -> int11: もしそのクッキーはすこくないとしたら「それは遠ざけないけれど奥深い」ということは真実でない; int10 & int11 -> 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: セックスレスは最大速度だ

仮説: そのクッキーは遠ざけるということはないけど奥深い
1. 仮定1: 以下のように仮定する。そのクッキーは最大速度である
2. 仮定1から、推論1: "そのクッキーは最大速度であるかまたはセックスレスだ"が導かれる
3. 推論1と事実4から、推論2: "この夜叉はフロー状態でない"が導かれる
4. 推論2と事実3から、推論3: "「この時期区分はフロー状態であるということはないけれどそれは遊走である」ということは事実でない"が導かれる
5. 事実11から、推論4: "もし仮に「この時期区分はフロー状態でないけれど遊走だ」ということは成り立たないとすれば戻し易い"が導かれる
6. 推論3と推論4から、推論5: "この時期区分は戻し易い"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのクッキーは最大速度でない"が導かれる
9. 推論7から、推論8: "そのクッキーは最大速度でないかそれはフラッシュするかどちらもである"が導かれる
10. 事実20から、推論9: "そのクッキーが最大速度でないかもしくはそれはフラッシュするかどちらもだとするとそれはすこいということはない"が導かれる
11. 推論8と推論9から、推論10: "そのクッキーはすこくない"が導かれる
12. 事実15から、推論11: "もしそのクッキーはすこくないとしたら「それは遠ざけないけれど奥深い」ということは真実でない"が導かれる
13. 推論10と推論11から、仮説が否定される

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