「そのポリ容器は払い下ぐということはないけどそれは思慮深い」ということは嘘である
fact1: もしあの人気ナンバーが算出方法であるならばこのシッダールタ太子は差し出がましかない fact2: そのポリ容器は心配為さらない fact3: もし仮にあの小勢は算出方法でないならば「あの人気ナンバーは心配為さらないけれど松峡宮である」ということは誤りである fact4: 「そのポリ容器は払い下ぐしかつ思慮深い」ということは事実だということはない fact5: もし仮にこのシッダールタ太子は心配為さらないとすると「あの小勢は松峡宮でないがしかし差し出がましい」ということは嘘だ fact6: あの小勢は到達前でないとすると「それは松峡宮でそれは心配為さる」ということは誤りだ fact7: 「この運動麻痺は払い下ぐ」ということは誤っているということはない fact8: もしあの小勢は差し出がましいとしたら「このシッダールタ太子は松峡宮でない」ということは事実である fact9: もし仮に「あの小勢は松峡宮だがしかしそれは心配為さらない」ということは間違いであるとしたらあの人気ナンバーは算出方法である fact10: あの小勢は到達前でない fact11: あの人気ナンバーは払い下ぐない fact12: このシッダールタ太子は板子でない fact13: もしこのシッダールタ太子は差し出がましいということはないとすれば「あの小勢は思慮深くないけど松峡宮だ」ということは事実と異なる fact14: もしもなにかは到達前でないとすればそれは払い下ぐないしまたそれは思慮深い fact15: もしもこのシッダールタ太子は差し出がましかないなら「そのポリ容器は払い下ぐということはないけど思慮深い」ということは成り立たない fact16: このシッダールタ太子が松峡宮だとすればあの小勢は差し出がましかない fact17: もしあの小勢は心配為さるとすれば「あの人気ナンバーは算出方法だ」ということは事実である fact18: もしもこのシッダールタ太子は差し出がましかないなら「そのポリ容器は払い下ぐし更に思慮深い」ということは成り立たない fact19: あの小勢は到達前でないならば「それは松峡宮だが心配為さらない」ということは嘘だ fact20: 「あの小勢は差し出がましかないけれど到達前である」ということは成り立たない fact21: 仮に「あの人気ナンバーは払い下ぐけど心配為さらない」ということは成り立たないとすればそのポリ容器は算出方法である fact22: 「あの小勢は松峡宮であるしさらに心配為さる」ということは間違いである fact23: そのポリ容器は算出方法でないならば「思慮深いし払い下ぐない」ということは成り立たない fact24: あの小勢は算出方法でない
fact19 & fact10 -> int1: 「あの小勢は松峡宮であるがそれは心配為さらない」ということは成り立たない; int1 & fact9 -> int2: あの人気ナンバーは算出方法である; int2 & fact1 -> int3: このシッダールタ太子は差し出がましかない; int3 & fact15 -> hypothesis;
そのポリ容器は払い下ぐないが思慮深い
fact25 -> int4: 仮にそのポリ容器が到達前でないなら払い下ぐないしかつ思慮深い;
$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: あの小勢は算出方法でない ; $hypothesis$ = 「そのポリ容器は払い下ぐということはないけどそれは思慮深い」ということは嘘である ; $proof$ = 
fact19 & fact10 -> int1: 「あの小勢は松峡宮であるがそれは心配為さらない」ということは成り立たない; int1 & fact9 -> int2: あの人気ナンバーは算出方法である; int2 & fact1 -> int3: このシッダールタ太子は差し出がましかない; int3 & fact15 -> 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: あの小勢は算出方法でない

仮説: 「そのポリ容器は払い下ぐということはないけどそれは思慮深い」ということは嘘である
1. 事実19と事実10から、推論1: "「あの小勢は松峡宮であるがそれは心配為さらない」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "あの人気ナンバーは算出方法である"が導かれる
3. 推論2と事実1から、推論3: "このシッダールタ太子は差し出がましかない"が導かれる
4. 推論3と事実15から、仮説が導かれる

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