あの広域合併は夢想する
fact1: 「そのウルトラＡＴＡは固ししまた色好い」ということは間違っている fact2: 仮に「その被検者は取り捌くということはない」ということは成り立てば「あの広域合併は取り捌かないけれど宜しい」ということは成り立つということはない fact3: 仮に「そのウルトラＡＴＡは固しないけれど色好い」ということは誤りならその読み誤りは掛け易くない fact4: もしもこのルイス酸・塩基は固しということはないなら「「そのウルトラＡＴＡは固しない一方で色好い」ということは真実である」ということは本当でない fact5: 脳溢血は区別し易い fact6: もしその被検者が宜しいならその読み誤りは掛け易い fact7: その被検者は宜しい fact8: もし仮に「「あの広域合併は白銅鏡でないがしかし取り捌く」ということは事実と異なる」ということは真実ならばあのルイス酸・塩基は固しない fact9: そのウルトラＡＴＡは夢想する fact10: あの広域合併は宜しくない fact11: 宜しいか掛け易くない物は固しない fact12: 「何もかもは脳溢血である」ということは正しい fact13: もし「そのウルトラＡＴＡは固し」ということは確かであるとすればその読み誤りは掛け易くない fact14: もし仮にあの広域合併が白銅鏡であるとすればこのルイス酸・塩基は固しということはない fact15: 「あの広域合併は白銅鏡で取り捌く」ということは成り立たない fact16: あの広域合併は白銅鏡でない fact17: 「もし仮にそのウルトラＡＴＡは固しないとすると「「このルイス酸・塩基は夢想しないかそれは色好い」ということは成り立たない」ということは事実である」ということは成り立つ fact18: 仮にあるものが取り捌けば夢想する fact19: このルイス酸・塩基は宜しくない fact20: そのウルトラＡＴＡは取り捌かないなら「あの広域合併は取り捌かないが色好い」ということは偽だ fact21: もし仮にこのルイス酸・塩基は固しということはないとすると「そのウルトラＡＴＡは固しし色好い」ということは偽である fact22: 仮にとあるものが区別し易いとしたら半神半人でない
void -> assump1: 以下のように仮定する。「あの広域合併は白銅鏡でない一方で取り捌く」ということは成り立たない; fact8 & assump1 -> int1: このルイス酸・塩基は固しない; int1 & fact4 -> int2: 「そのウルトラＡＴＡは固しない一方で色好い」ということは誤っている; int2 & fact3 -> int3: その読み誤りは掛け易くない; fact7 & fact6 -> int4: その読み誤りは掛け易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの広域合併は白銅鏡であるということはないが取り捌く; int6 -> int7: あの広域合併は取り捌く; fact18 -> int8: もしあの広域合併が取り捌くとするとそれは夢想する; int7 & int8 -> hypothesis;
「あの広域合併は夢想しない」ということは本当である
fact23 -> int9: 仮にそのウルトラＡＴＡが宜しいかもしくは掛け易くないかあるいは両方なら固しない; fact26 -> int10: そのウルトラＡＴＡが区別し易いとしたらそれは半神半人でない; fact24 -> int11: その読み誤りは脳溢血である; fact25 -> int12: もし仮にその読み誤りは脳溢血であるなら区別し易い; int11 & int12 -> int13: その読み誤りは区別し易い; int13 -> int14: すべてのものは区別し易い; int14 -> int15: 「そのウルトラＡＴＡは区別し易い」ということは真実である; int10 & int15 -> int16: そのウルトラＡＴＡは半神半人だということはない;
$facts$ = fact1: 「そのウルトラＡＴＡは固ししまた色好い」ということは間違っている fact2: 仮に「その被検者は取り捌くということはない」ということは成り立てば「あの広域合併は取り捌かないけれど宜しい」ということは成り立つということはない fact3: 仮に「そのウルトラＡＴＡは固しないけれど色好い」ということは誤りならその読み誤りは掛け易くない fact4: もしもこのルイス酸・塩基は固しということはないなら「「そのウルトラＡＴＡは固しない一方で色好い」ということは真実である」ということは本当でない fact5: 脳溢血は区別し易い fact6: もしその被検者が宜しいならその読み誤りは掛け易い fact7: その被検者は宜しい fact8: もし仮に「「あの広域合併は白銅鏡でないがしかし取り捌く」ということは事実と異なる」ということは真実ならばあのルイス酸・塩基は固しない fact9: そのウルトラＡＴＡは夢想する fact10: あの広域合併は宜しくない fact11: 宜しいか掛け易くない物は固しない fact12: 「何もかもは脳溢血である」ということは正しい fact13: もし「そのウルトラＡＴＡは固し」ということは確かであるとすればその読み誤りは掛け易くない fact14: もし仮にあの広域合併が白銅鏡であるとすればこのルイス酸・塩基は固しということはない fact15: 「あの広域合併は白銅鏡で取り捌く」ということは成り立たない fact16: あの広域合併は白銅鏡でない fact17: 「もし仮にそのウルトラＡＴＡは固しないとすると「「このルイス酸・塩基は夢想しないかそれは色好い」ということは成り立たない」ということは事実である」ということは成り立つ fact18: 仮にあるものが取り捌けば夢想する fact19: このルイス酸・塩基は宜しくない fact20: そのウルトラＡＴＡは取り捌かないなら「あの広域合併は取り捌かないが色好い」ということは偽だ fact21: もし仮にこのルイス酸・塩基は固しということはないとすると「そのウルトラＡＴＡは固しし色好い」ということは偽である fact22: 仮にとあるものが区別し易いとしたら半神半人でない ; $hypothesis$ = あの広域合併は夢想する ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの広域合併は白銅鏡でない一方で取り捌く」ということは成り立たない; fact8 & assump1 -> int1: このルイス酸・塩基は固しない; int1 & fact4 -> int2: 「そのウルトラＡＴＡは固しない一方で色好い」ということは誤っている; int2 & fact3 -> int3: その読み誤りは掛け易くない; fact7 & fact6 -> int4: その読み誤りは掛け易い; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの広域合併は白銅鏡であるということはないが取り捌く; int6 -> int7: あの広域合併は取り捌く; fact18 -> int8: もしあの広域合併が取り捌くとするとそれは夢想する; int7 & int8 -> hypothesis; __PROVED__
事実1: 「そのウルトラＡＴＡは固ししまた色好い」ということは間違っている
事実2: 仮に「その被検者は取り捌くということはない」ということは成り立てば「あの広域合併は取り捌かないけれど宜しい」ということは成り立つということはない
事実3: 仮に「そのウルトラＡＴＡは固しないけれど色好い」ということは誤りならその読み誤りは掛け易くない
事実4: もしもこのルイス酸・塩基は固しということはないなら「「そのウルトラＡＴＡは固しない一方で色好い」ということは真実である」ということは本当でない
事実5: 脳溢血は区別し易い
事実6: もしその被検者が宜しいならその読み誤りは掛け易い
事実7: その被検者は宜しい
事実8: もし仮に「「あの広域合併は白銅鏡でないがしかし取り捌く」ということは事実と異なる」ということは真実ならばあのルイス酸・塩基は固しない
事実9: そのウルトラＡＴＡは夢想する
事実10: あの広域合併は宜しくない
事実11: 宜しいか掛け易くない物は固しない
事実12: 「何もかもは脳溢血である」ということは正しい
事実13: もし「そのウルトラＡＴＡは固し」ということは確かであるとすればその読み誤りは掛け易くない
事実14: もし仮にあの広域合併が白銅鏡であるとすればこのルイス酸・塩基は固しということはない
事実15: 「あの広域合併は白銅鏡で取り捌く」ということは成り立たない
事実16: あの広域合併は白銅鏡でない
事実17: 「もし仮にそのウルトラＡＴＡは固しないとすると「「このルイス酸・塩基は夢想しないかそれは色好い」ということは成り立たない」ということは事実である」ということは成り立つ
事実18: 仮にあるものが取り捌けば夢想する
事実19: このルイス酸・塩基は宜しくない
事実20: そのウルトラＡＴＡは取り捌かないなら「あの広域合併は取り捌かないが色好い」ということは偽だ
事実21: もし仮にこのルイス酸・塩基は固しということはないとすると「そのウルトラＡＴＡは固しし色好い」ということは偽である
事実22: 仮にとあるものが区別し易いとしたら半神半人でない

仮説: あの広域合併は夢想する
1. 仮定1: 以下のように仮定する。「あの広域合併は白銅鏡でない一方で取り捌く」ということは成り立たない
2. 事実8と仮定1から、推論1: "このルイス酸・塩基は固しない"が導かれる
3. 推論1と事実4から、推論2: "「そのウルトラＡＴＡは固しない一方で色好い」ということは誤っている"が導かれる
4. 推論2と事実3から、推論3: "その読み誤りは掛け易くない"が導かれる
5. 事実7と事実6から、推論4: "その読み誤りは掛け易い"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの広域合併は白銅鏡であるということはないが取り捌く"が導かれる
8. 推論6から、推論7: "あの広域合併は取り捌く"が導かれる
9. 事実18から、推論8: "もしあの広域合併が取り捌くとするとそれは夢想する"が導かれる
10. 推論7と推論8から、仮説が導かれる

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