「「新規作成する一方で甘ーいということはない」ということは偽である」ものはある
fact1: 「あの居住水準はバン・バンであるし加えてぎごちない」ということは成り立つということはない fact2: そのフィリピン人が御悪くないとすればそれは膀胱だしまた十ミリリットル注射器である fact3: もしもとあるものは御恥ずかしいとすると「新規作成するしそれに甘ーい」ということは成り立たない fact4: 「「新規作成するししかも甘ーい」ということは偽な」ものはある fact5: なんらかのものは新規作成するけれど甘ーくない fact6: もしも「この鞄は起こし難い」ということは成り立つなら「それは存廃でなくてそれは垢抜けする」ということは成り立たない fact7: もしなにがしかの物は御恥ずかしいとすれば「新規作成するししかもそれは甘ーくない」ということは成り立つということはない fact8: 「このディセンバーはＦＹであるしさらに新規作成する」ということは成り立たない fact9: 起こし難くない物は御恥ずかしいし膀胱である fact10: 「この鞄は膀胱である」ということは事実である fact11: もし仮に「この鞄は御恥ずかしい」ということは成り立てば「新規作成するし甘ーい」ということは誤りである fact12: 「この鞄は垢抜けする」ということは真実である fact13: この鞄は分極ベクトルでない一方で分かれる fact14: もし仮にこの鞄は起こし難くないとすると「それは膀胱だ」ということは成り立つ fact15: この鞄は存廃でないけど垢抜けする fact16: 「この鞄は新規作成するしまた甘ーい」ということは偽である fact17: 起こし難くないものは膀胱だ
void -> assump1: 以下のように仮定する。この鞄は起こし難い; fact6 & assump1 -> int1: 「この鞄は存廃でないがしかし垢抜けする」ということは間違いである; int1 & fact15 -> int2: これは矛盾である; [assump1] & int2 -> int3: この鞄は起こし難くない; fact9 -> int4: 仮にこの鞄が起こし難くないとすると御恥ずかしくて膀胱である; int3 & int4 -> int5: この鞄は御恥ずかしいしそれに膀胱である; int5 -> int6: この鞄は御恥ずかしい; fact7 -> int7: 仮にこの鞄は御恥ずかしいとしたら「それは新規作成するがしかし甘ーくない」ということは成り立たない; int6 & int7 -> int8: 「この鞄は新規作成するがしかし甘ーくない」ということは成り立たない; int8 -> hypothesis;
$facts$ = fact1: 「あの居住水準はバン・バンであるし加えてぎごちない」ということは成り立つということはない fact2: そのフィリピン人が御悪くないとすればそれは膀胱だしまた十ミリリットル注射器である fact3: もしもとあるものは御恥ずかしいとすると「新規作成するしそれに甘ーい」ということは成り立たない fact4: 「「新規作成するししかも甘ーい」ということは偽な」ものはある fact5: なんらかのものは新規作成するけれど甘ーくない fact6: もしも「この鞄は起こし難い」ということは成り立つなら「それは存廃でなくてそれは垢抜けする」ということは成り立たない fact7: もしなにがしかの物は御恥ずかしいとすれば「新規作成するししかもそれは甘ーくない」ということは成り立つということはない fact8: 「このディセンバーはＦＹであるしさらに新規作成する」ということは成り立たない fact9: 起こし難くない物は御恥ずかしいし膀胱である fact10: 「この鞄は膀胱である」ということは事実である fact11: もし仮に「この鞄は御恥ずかしい」ということは成り立てば「新規作成するし甘ーい」ということは誤りである fact12: 「この鞄は垢抜けする」ということは真実である fact13: この鞄は分極ベクトルでない一方で分かれる fact14: もし仮にこの鞄は起こし難くないとすると「それは膀胱だ」ということは成り立つ fact15: この鞄は存廃でないけど垢抜けする fact16: 「この鞄は新規作成するしまた甘ーい」ということは偽である fact17: 起こし難くないものは膀胱だ ; $hypothesis$ = 「「新規作成する一方で甘ーいということはない」ということは偽である」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この鞄は起こし難い; fact6 & assump1 -> int1: 「この鞄は存廃でないがしかし垢抜けする」ということは間違いである; int1 & fact15 -> int2: これは矛盾である; [assump1] & int2 -> int3: この鞄は起こし難くない; fact9 -> int4: 仮にこの鞄が起こし難くないとすると御恥ずかしくて膀胱である; int3 & int4 -> int5: この鞄は御恥ずかしいしそれに膀胱である; int5 -> int6: この鞄は御恥ずかしい; fact7 -> int7: 仮にこの鞄は御恥ずかしいとしたら「それは新規作成するがしかし甘ーくない」ということは成り立たない; int6 & int7 -> int8: 「この鞄は新規作成するがしかし甘ーくない」ということは成り立たない; int8 -> hypothesis; __PROVED__
事実1: 「あの居住水準はバン・バンであるし加えてぎごちない」ということは成り立つということはない
事実2: そのフィリピン人が御悪くないとすればそれは膀胱だしまた十ミリリットル注射器である
事実3: もしもとあるものは御恥ずかしいとすると「新規作成するしそれに甘ーい」ということは成り立たない
事実4: 「「新規作成するししかも甘ーい」ということは偽な」ものはある
事実5: なんらかのものは新規作成するけれど甘ーくない
事実6: もしも「この鞄は起こし難い」ということは成り立つなら「それは存廃でなくてそれは垢抜けする」ということは成り立たない
事実7: もしなにがしかの物は御恥ずかしいとすれば「新規作成するししかもそれは甘ーくない」ということは成り立つということはない
事実8: 「このディセンバーはＦＹであるしさらに新規作成する」ということは成り立たない
事実9: 起こし難くない物は御恥ずかしいし膀胱である
事実10: 「この鞄は膀胱である」ということは事実である
事実11: もし仮に「この鞄は御恥ずかしい」ということは成り立てば「新規作成するし甘ーい」ということは誤りである
事実12: 「この鞄は垢抜けする」ということは真実である
事実13: この鞄は分極ベクトルでない一方で分かれる
事実14: もし仮にこの鞄は起こし難くないとすると「それは膀胱だ」ということは成り立つ
事実15: この鞄は存廃でないけど垢抜けする
事実16: 「この鞄は新規作成するしまた甘ーい」ということは偽である
事実17: 起こし難くないものは膀胱だ

仮説: 「「新規作成する一方で甘ーいということはない」ということは偽である」ものはある
1. 仮定1: 以下のように仮定する。この鞄は起こし難い
2. 事実6と仮定1から、推論1: "「この鞄は存廃でないがしかし垢抜けする」ということは間違いである"が導かれる
3. 推論1と事実15から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この鞄は起こし難くない"が導かれる
5. 事実9から、推論4: "仮にこの鞄が起こし難くないとすると御恥ずかしくて膀胱である"が導かれる
6. 推論3と推論4から、推論5: "この鞄は御恥ずかしいしそれに膀胱である"が導かれる
7. 推論5から、推論6: "この鞄は御恥ずかしい"が導かれる
8. 事実7から、推論7: "仮にこの鞄は御恥ずかしいとしたら「それは新規作成するがしかし甘ーくない」ということは成り立たない"が導かれる
9. 推論6と推論7から、推論8: "「この鞄は新規作成するがしかし甘ーくない」ということは成り立たない"が導かれる
10. 推論8から、仮説が導かれる

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