「その築城基地は膨張しないとしたら「その結局は分かち難いし被事後設立法人である」ということは偽である」ということは成り立たない
fact1: その結局は限り無しない fact2: あの緑陰は膨張しない fact3: もしもその築城基地が限り無しけれど膨張しないとするとあの緑陰は被事後設立法人でない fact4: あの緑陰は被事後設立法人でないとすると「その結局は分かち難くて被事後設立法人である」ということは成り立つということはない fact5: もしその結局が分かち難くないとするとその築城基地は膨張するしそれにそれは分かち難い fact6: その築城基地が膨張しないならばその結局は分かち難いしかつ被事後設立法人である fact7: もし仮にその結局は分かち難いけれど膨張するということはないなら「あの緑陰は被事後設立法人でない」ということは真実である fact8: その築城基地は口惜しくてまた薬物アレルギーだ fact9: 仮に何かは浪費しないけど限り無しとしたら被事後設立法人だ fact10: その築城基地は浪費する fact11: その築城基地は被事後設立法人でないならば「その結局は限り無しし浪費する」ということは誤りだ fact12: 「この大株主支配は被事後設立法人でない」ということは成り立つ fact13: 仮にその結局は被事後設立法人でないとすれば「その築城基地は膨張するし更に被事後設立法人である」ということは嘘である fact14: その全山は被事後設立法人であるけれど誤り無くない fact15: その新興企業は膨張しない fact16: その結局は浪費する fact17: その築城基地は膨張するとすれば「その結局は分かち難いし加えてそれは被事後設立法人だ」ということは成り立たない fact18: もしもその築城基地は被事後設立法人でないならば「その結局は浪費するしかつ限り無し」ということは正しくない fact19: その結局は被事後設立法人で浪費する fact20: もしその築城基地が浪費するとすると限り無し fact21: もし仮に「その築城基地は被事後設立法人でない」ということは成り立つなら「その結局は膨張するし被事後設立法人である」ということは誤っている fact22: もし仮にその築城基地が限り無ししその上膨張すればあの緑陰は被事後設立法人でない fact23: その築城基地は御付き合いしない fact24: 「「あの緑陰は分かち難いしその上被事後設立法人である」ということは誤りだ」ということは事実と異ならない
fact20 & fact10 -> int1: その築城基地は限り無し; void -> assump1: 以下のように仮定する。その築城基地は膨張しない; int1 & assump1 -> int2: その築城基地は限り無しが膨張するということはない; int2 & fact3 -> int3: あの緑陰は被事後設立法人でない; int3 & fact4 -> int4: 「その結局は分かち難いしまた被事後設立法人だ」ということは嘘である; [assump1] & int4 -> hypothesis;
「その英語論文は被事後設立法人だ」ということは偽でない
fact25 -> int5: もしもその英語論文は浪費しない一方で限り無しならば「被事後設立法人である」ということは誤っていない;
$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$ = 
fact20 & fact10 -> int1: その築城基地は限り無し; void -> assump1: 以下のように仮定する。その築城基地は膨張しない; int1 & assump1 -> int2: その築城基地は限り無しが膨張するということはない; int2 & fact3 -> int3: あの緑陰は被事後設立法人でない; int3 & fact4 -> int4: 「その結局は分かち難いしまた被事後設立法人だ」ということは嘘である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実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. 事実20と事実10から、推論1: "その築城基地は限り無し"が導かれる
2. 仮定1: 以下のように仮定する。その築城基地は膨張しない
3. 推論1と仮定1から、推論2: "その築城基地は限り無しが膨張するということはない"が導かれる
4. 推論2と事実3から、推論3: "あの緑陰は被事後設立法人でない"が導かれる
5. 推論3と事実4から、推論4: "「その結局は分かち難いしまた被事後設立法人だ」ということは嘘である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。