「もし仮に諸規制でないとすれば「閉ざさなくておまけに名文である」ということは嘘である」ものはある
fact1: もしもこのデットは離脱出来ないならば「買い占めないしまた受け入れ易い」ということは成り立たない fact2: もし仮に「何かはでっかくない」ということは成り立てば「それは白み始めなくてそれは解し難い」ということは本当でない fact3: もしこのデットは諸規制であるとすると「それは閉ざさなくてかつそれは名文である」ということは偽である fact4: このデットは諸規制であるということはないとすると閉ざさないがしかし名文である fact5: 「きもくないとしたら「財政検証でないけど真面目くさる」ということは嘘な」物はある fact6: 何かは諸規制でないとすれば「それは閉ざさない一方で名文だ」ということは事実でない fact7: 「「諸規制でないなら「閉ざすし名文である」ということは嘘な」ものはある」ということは成り立つ fact8: もし何かは気付き難くないとすれば「それは切なくなくてそれは解し難い」ということは誤っている fact9: もし仮にその白芷は受け入れ易くないとしたら「批判しないけど男らしい」ということは成り立たない fact10: 「もし何かは市内外でないとすれば「開披しないけれど現存する」ということは成り立たない」ということは真実である fact11: このデットは諸規制でないならば「それは閉ざすし名文だ」ということは成り立たない fact12: 「もし仮に諸規制でないとしたら閉ざさないが名文な」ものはある fact13: もし仮にある物は諸規制なら「閉ざすということはないけど名文だ」ということは成り立たない fact14: 「もし仮に「諸規制である」ということは成り立てば「閉ざさないが名文だ」ということは間違っている」ものはある fact15: 「もしも「生育しない」ということは成り立つとしたら「批判しない一方で表示し切れる」ということは成り立たない」物はある fact16: もし仮になにがしかのものは諸規制でないとすると「閉ざすしそれは名文だ」ということは誤りだ fact17: もしもとあるものは回復後でないならば「共生するということはないしかつ諸規制だ」ということは嘘である fact18: なんらかのものが諸規制でないとしたら閉ざさないし名文だ fact19: 仮にあるものは強制連行しないとすれば「受け入れ易くないがしかし剥奪する」ということは間違っている
fact6 -> int1: もしこのデットは諸規制でないとすれば「閉ざさないし加えてそれは名文だ」ということは成り立つということはない; int1 -> hypothesis;
もしこの返血は回復後でないとすれば「共生するということはないし諸規制だ」ということは成り立たない
fact20 -> hypothesis;
$facts$ = fact1: もしもこのデットは離脱出来ないならば「買い占めないしまた受け入れ易い」ということは成り立たない fact2: もし仮に「何かはでっかくない」ということは成り立てば「それは白み始めなくてそれは解し難い」ということは本当でない fact3: もしこのデットは諸規制であるとすると「それは閉ざさなくてかつそれは名文である」ということは偽である fact4: このデットは諸規制であるということはないとすると閉ざさないがしかし名文である fact5: 「きもくないとしたら「財政検証でないけど真面目くさる」ということは嘘な」物はある fact6: 何かは諸規制でないとすれば「それは閉ざさない一方で名文だ」ということは事実でない fact7: 「「諸規制でないなら「閉ざすし名文である」ということは嘘な」ものはある」ということは成り立つ fact8: もし何かは気付き難くないとすれば「それは切なくなくてそれは解し難い」ということは誤っている fact9: もし仮にその白芷は受け入れ易くないとしたら「批判しないけど男らしい」ということは成り立たない fact10: 「もし何かは市内外でないとすれば「開披しないけれど現存する」ということは成り立たない」ということは真実である fact11: このデットは諸規制でないならば「それは閉ざすし名文だ」ということは成り立たない fact12: 「もし仮に諸規制でないとしたら閉ざさないが名文な」ものはある fact13: もし仮にある物は諸規制なら「閉ざすということはないけど名文だ」ということは成り立たない fact14: 「もし仮に「諸規制である」ということは成り立てば「閉ざさないが名文だ」ということは間違っている」ものはある fact15: 「もしも「生育しない」ということは成り立つとしたら「批判しない一方で表示し切れる」ということは成り立たない」物はある fact16: もし仮になにがしかのものは諸規制でないとすると「閉ざすしそれは名文だ」ということは誤りだ fact17: もしもとあるものは回復後でないならば「共生するということはないしかつ諸規制だ」ということは嘘である fact18: なんらかのものが諸規制でないとしたら閉ざさないし名文だ fact19: 仮にあるものは強制連行しないとすれば「受け入れ易くないがしかし剥奪する」ということは間違っている ; $hypothesis$ = 「もし仮に諸規制でないとすれば「閉ざさなくておまけに名文である」ということは嘘である」ものはある ; $proof$ = 
fact6 -> int1: もしこのデットは諸規制でないとすれば「閉ざさないし加えてそれは名文だ」ということは成り立つということはない; int1 -> hypothesis; __PROVED__
事実1: もしもこのデットは離脱出来ないならば「買い占めないしまた受け入れ易い」ということは成り立たない
事実2: もし仮に「何かはでっかくない」ということは成り立てば「それは白み始めなくてそれは解し難い」ということは本当でない
事実3: もしこのデットは諸規制であるとすると「それは閉ざさなくてかつそれは名文である」ということは偽である
事実4: このデットは諸規制であるということはないとすると閉ざさないがしかし名文である
事実5: 「きもくないとしたら「財政検証でないけど真面目くさる」ということは嘘な」物はある
事実6: 何かは諸規制でないとすれば「それは閉ざさない一方で名文だ」ということは事実でない
事実7: 「「諸規制でないなら「閉ざすし名文である」ということは嘘な」ものはある」ということは成り立つ
事実8: もし何かは気付き難くないとすれば「それは切なくなくてそれは解し難い」ということは誤っている
事実9: もし仮にその白芷は受け入れ易くないとしたら「批判しないけど男らしい」ということは成り立たない
事実10: 「もし何かは市内外でないとすれば「開披しないけれど現存する」ということは成り立たない」ということは真実である
事実11: このデットは諸規制でないならば「それは閉ざすし名文だ」ということは成り立たない
事実12: 「もし仮に諸規制でないとしたら閉ざさないが名文な」ものはある
事実13: もし仮にある物は諸規制なら「閉ざすということはないけど名文だ」ということは成り立たない
事実14: 「もし仮に「諸規制である」ということは成り立てば「閉ざさないが名文だ」ということは間違っている」ものはある
事実15: 「もしも「生育しない」ということは成り立つとしたら「批判しない一方で表示し切れる」ということは成り立たない」物はある
事実16: もし仮になにがしかのものは諸規制でないとすると「閉ざすしそれは名文だ」ということは誤りだ
事実17: もしもとあるものは回復後でないならば「共生するということはないしかつ諸規制だ」ということは嘘である
事実18: なんらかのものが諸規制でないとしたら閉ざさないし名文だ
事実19: 仮にあるものは強制連行しないとすれば「受け入れ易くないがしかし剥奪する」ということは間違っている

仮説: 「もし仮に諸規制でないとすれば「閉ざさなくておまけに名文である」ということは嘘である」ものはある
1. 事実6から、推論1: "もしこのデットは諸規制でないとすれば「閉ざさないし加えてそれは名文だ」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が導かれる

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