「この実存は黒しししかも染み込み易い」ということは成り立たない
fact1: あの緑豆は伏せ止めしない fact2: なにがしかのものは制限撤廃でないとするとそれは生々しい fact3: この実存は制限撤廃でないとすれば「愛くるしくない一方で黒し」ということは成り立たない fact4: この実存は狂おしいし届き難い fact5: 仮にこの各データベースは制限撤廃でないならそれは生々しい fact6: もしこのＨＰＬＣが四角いとしたらそのロジャース理論は海豹達である fact7: この実存は愛くるしくてさらに染み込み易い fact8: 「この実存は愛くるしい」ということは正しい fact9: もしも「この各データベースは伏せ止めするということはない」ということは確かであるとすれば「それは届き難くないがしかし制限撤廃である」ということは間違いだ fact10: この各データベースは依頼すし更に制限撤廃だ fact11: この各データベースは伏せ止めしない fact12: もし「なにがしかの物は届き難くないが制限撤廃である」ということは間違いだとすれば「生々しい」ということは真実である fact13: 「そのロジャース理論は届き難いということはない」ということは事実だ fact14: 仮にそのロジャース理論が海豹達であるとしたらこの実存は倒立攪拌する fact15: 仮に「何かは愛くるしくない一方で堅苦しい」ということは成り立たないなら仮眠する fact16: 「四角いということはないし生々しかない」物があるとしたらこの各データベースは伏せ止めする fact17: もし仮に「この各データベースは生々しい」ということは誤っていないならばあのＨＰＬＣは四角い fact18: 「そのロジャース理論は生々しい」ということは成り立つ fact19: もしもこの実存が倒立攪拌するとしたら黒し
fact9 & fact11 -> int1: 「この各データベースは届き難くないが制限撤廃である」ということは成り立たない; fact12 -> int2: もしも「この各データベースは届き難くない一方でそれは制限撤廃だ」ということは誤りなら生々しい; int1 & int2 -> int3: この各データベースは生々しい; int3 & fact17 -> int4: このＨＰＬＣは四角い; int4 & fact6 -> int5: そのロジャース理論は海豹達だ; int5 & fact14 -> int6: この実存は倒立攪拌する; int6 & fact19 -> int7: この実存は黒し; fact7 -> int8: この実存は染み込み易い; int7 & int8 -> hypothesis;
「この実存は黒ししまた染み込み易い」ということは成り立たない
$facts$ = fact1: あの緑豆は伏せ止めしない fact2: なにがしかのものは制限撤廃でないとするとそれは生々しい fact3: この実存は制限撤廃でないとすれば「愛くるしくない一方で黒し」ということは成り立たない fact4: この実存は狂おしいし届き難い fact5: 仮にこの各データベースは制限撤廃でないならそれは生々しい fact6: もしこのＨＰＬＣが四角いとしたらそのロジャース理論は海豹達である fact7: この実存は愛くるしくてさらに染み込み易い fact8: 「この実存は愛くるしい」ということは正しい fact9: もしも「この各データベースは伏せ止めするということはない」ということは確かであるとすれば「それは届き難くないがしかし制限撤廃である」ということは間違いだ fact10: この各データベースは依頼すし更に制限撤廃だ fact11: この各データベースは伏せ止めしない fact12: もし「なにがしかの物は届き難くないが制限撤廃である」ということは間違いだとすれば「生々しい」ということは真実である fact13: 「そのロジャース理論は届き難いということはない」ということは事実だ fact14: 仮にそのロジャース理論が海豹達であるとしたらこの実存は倒立攪拌する fact15: 仮に「何かは愛くるしくない一方で堅苦しい」ということは成り立たないなら仮眠する fact16: 「四角いということはないし生々しかない」物があるとしたらこの各データベースは伏せ止めする fact17: もし仮に「この各データベースは生々しい」ということは誤っていないならばあのＨＰＬＣは四角い fact18: 「そのロジャース理論は生々しい」ということは成り立つ fact19: もしもこの実存が倒立攪拌するとしたら黒し ; $hypothesis$ = 「この実存は黒しししかも染み込み易い」ということは成り立たない ; $proof$ = 
fact9 & fact11 -> int1: 「この各データベースは届き難くないが制限撤廃である」ということは成り立たない; fact12 -> int2: もしも「この各データベースは届き難くない一方でそれは制限撤廃だ」ということは誤りなら生々しい; int1 & int2 -> int3: この各データベースは生々しい; int3 & fact17 -> int4: このＨＰＬＣは四角い; int4 & fact6 -> int5: そのロジャース理論は海豹達だ; int5 & fact14 -> int6: この実存は倒立攪拌する; int6 & fact19 -> int7: この実存は黒し; fact7 -> int8: この実存は染み込み易い; int7 & int8 -> hypothesis; __DISPROVED__
事実1: あの緑豆は伏せ止めしない
事実2: なにがしかのものは制限撤廃でないとするとそれは生々しい
事実3: この実存は制限撤廃でないとすれば「愛くるしくない一方で黒し」ということは成り立たない
事実4: この実存は狂おしいし届き難い
事実5: 仮にこの各データベースは制限撤廃でないならそれは生々しい
事実6: もしこのＨＰＬＣが四角いとしたらそのロジャース理論は海豹達である
事実7: この実存は愛くるしくてさらに染み込み易い
事実8: 「この実存は愛くるしい」ということは正しい
事実9: もしも「この各データベースは伏せ止めするということはない」ということは確かであるとすれば「それは届き難くないがしかし制限撤廃である」ということは間違いだ
事実10: この各データベースは依頼すし更に制限撤廃だ
事実11: この各データベースは伏せ止めしない
事実12: もし「なにがしかの物は届き難くないが制限撤廃である」ということは間違いだとすれば「生々しい」ということは真実である
事実13: 「そのロジャース理論は届き難いということはない」ということは事実だ
事実14: 仮にそのロジャース理論が海豹達であるとしたらこの実存は倒立攪拌する
事実15: 仮に「何かは愛くるしくない一方で堅苦しい」ということは成り立たないなら仮眠する
事実16: 「四角いということはないし生々しかない」物があるとしたらこの各データベースは伏せ止めする
事実17: もし仮に「この各データベースは生々しい」ということは誤っていないならばあのＨＰＬＣは四角い
事実18: 「そのロジャース理論は生々しい」ということは成り立つ
事実19: もしもこの実存が倒立攪拌するとしたら黒し

仮説: 「この実存は黒しししかも染み込み易い」ということは成り立たない
1. 事実9と事実11から、推論1: "「この各データベースは届き難くないが制限撤廃である」ということは成り立たない"が導かれる
2. 事実12から、推論2: "もしも「この各データベースは届き難くない一方でそれは制限撤廃だ」ということは誤りなら生々しい"が導かれる
3. 推論1と推論2から、推論3: "この各データベースは生々しい"が導かれる
4. 推論3と事実17から、推論4: "このＨＰＬＣは四角い"が導かれる
5. 推論4と事実6から、推論5: "そのロジャース理論は海豹達だ"が導かれる
6. 推論5と事実14から、推論6: "この実存は倒立攪拌する"が導かれる
7. 推論6と事実19から、推論7: "この実存は黒し"が導かれる
8. 事実7から、推論8: "この実存は染み込み易い"が導かれる
9. 推論7と推論8から、仮説が否定される

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