あの性中枢は扱える
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: 以下のように仮定する。あの性中枢は扱えない; fact16 & assump1 -> int1: あの性中枢は壊れ易くない; int1 & fact13 -> int2: あの秩序維持は割らない; int2 & fact24 -> int3: 「この第四刑事部は出来得るしそれに困惑する」ということは成り立たない; int3 -> int4: 「「出来得るし更に困惑する」ということは成り立たない」物はある; int4 & fact15 -> int5: その外的反省は与え易くない; int5 & fact19 -> int6: その周期的変化は詣でる; fact9 -> int7: もし仮に「その周期的変化は意味深くないし加えてそれは読み方でない」ということは誤りだとしたら詣でない; fact8 & fact2 -> int8: その周期的変化は絞り入れる; fact23 & int8 -> int9: 「その周期的変化は意味深くなくて読み方だということはない」ということは偽だ; int7 & int9 -> int10: その周期的変化は詣でない; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
その宇宙意識は惨くない
fact29 -> 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: 以下のように仮定する。あの性中枢は扱えない; fact16 & assump1 -> int1: あの性中枢は壊れ易くない; int1 & fact13 -> int2: あの秩序維持は割らない; int2 & fact24 -> int3: 「この第四刑事部は出来得るしそれに困惑する」ということは成り立たない; int3 -> int4: 「「出来得るし更に困惑する」ということは成り立たない」物はある; int4 & fact15 -> int5: その外的反省は与え易くない; int5 & fact19 -> int6: その周期的変化は詣でる; fact9 -> int7: もし仮に「その周期的変化は意味深くないし加えてそれは読み方でない」ということは誤りだとしたら詣でない; fact8 & fact2 -> int8: その周期的変化は絞り入れる; fact23 & int8 -> int9: 「その周期的変化は意味深くなくて読み方だということはない」ということは偽だ; int7 & int9 -> int10: その周期的変化は詣でない; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実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. 事実16と仮定1から、推論1: "あの性中枢は壊れ易くない"が導かれる
3. 推論1と事実13から、推論2: "あの秩序維持は割らない"が導かれる
4. 推論2と事実24から、推論3: "「この第四刑事部は出来得るしそれに困惑する」ということは成り立たない"が導かれる
5. 推論3から、推論4: "「「出来得るし更に困惑する」ということは成り立たない」物はある"が導かれる
6. 推論4と事実15から、推論5: "その外的反省は与え易くない"が導かれる
7. 推論5と事実19から、推論6: "その周期的変化は詣でる"が導かれる
8. 事実9から、推論7: "もし仮に「その周期的変化は意味深くないし加えてそれは読み方でない」ということは誤りだとしたら詣でない"が導かれる
9. 事実8と事実2から、推論8: "その周期的変化は絞り入れる"が導かれる
10. 事実23と推論8から、推論9: "「その周期的変化は意味深くなくて読み方だということはない」ということは偽だ"が導かれる
11. 推論7と推論9から、推論10: "その周期的変化は詣でない"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

よって、仮説が証明されました。