あの基金型は消印しない
fact1: 「「「あの関わり方は鬱憤であるが清くない」ということは確かだ」ということは成り立たない」ということは嘘でないとすればこの覇権主義は萌え出ずない fact2: もし仮にこの覇権主義が萌え出ずないけれど打ち上げるならあの基金型は消印する fact3: 「この覇権主義は投棄しないけど溜まり易い」ということは間違いであるならば「造営しない」ということは確かである fact4: 仮にこの二世は鬱憤でないとすると「「あの関わり方は鬱憤であるが清くない」ということは本当だ」ということは嘘である fact5: もしこの覇権主義は溜まり易い一方で投棄しないとすると造営する fact6: 仮にこの覇権主義が造営しないならばあの関わり方は打ち上げるし消印する fact7: 「あの関わり方は打ち上げる」ということは正しいとすると「この二世は清くない」ということは真実である fact8: もしもこの二世が萌え出ずないしそれが鬱憤でないとしたらあの農業生産は鬱憤である fact9: もし仮にこの二世がリリースするなら恨めしくないかあるいは上げ下げする fact10: もしなんらかの物は鬱憤だとしたら「透き通るが夭折しない」ということは本当でない fact11: 「この二世はリリースする」ということは本当だ fact12: この覇権主義は造営するとすると「打ち上げる」ということは嘘でない fact13: この覇権主義は溜まり易い fact14: この二世は鬱憤なら「それは恨めしくないかまたは上げ下げするかどちらもだ」ということは誤っている fact15: 「そのアズレンスルホン酸ナトリウムはリリースする」ということは本当だ fact16: この覇権主義は溜まり易いけれど投棄しない
void -> assump1: 以下のように仮定する。「この二世は鬱憤だ」ということは本当だ; fact14 & assump1 -> int1: 「この二世は恨めしくないか上げ下げするかあるいは両方ともである」ということは誤っている; fact11 & fact9 -> int2: この二世は恨めしいということはないか上げ下げするかあるいは両方ともだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二世は鬱憤でない; int4 & fact4 -> int5: 「あの関わり方は鬱憤であるけどそれは清くない」ということは事実でない; int5 & fact1 -> int6: この覇権主義は萌え出ずない; fact5 & fact16 -> int7: この覇権主義は造営する; fact12 & int7 -> int8: この覇権主義は打ち上げる; int6 & int8 -> int9: この覇権主義は萌え出ずないけれど打ち上げる; int9 & fact2 -> hypothesis;
「あの農業生産は透き通るが夭折しない」ということは正しくない
fact21 -> int10: 仮にあの農業生産は鬱憤であるとすれば「透き通るけど夭折するということはない」ということは偽だ;
$facts$ = fact1: 「「「あの関わり方は鬱憤であるが清くない」ということは確かだ」ということは成り立たない」ということは嘘でないとすればこの覇権主義は萌え出ずない fact2: もし仮にこの覇権主義が萌え出ずないけれど打ち上げるならあの基金型は消印する fact3: 「この覇権主義は投棄しないけど溜まり易い」ということは間違いであるならば「造営しない」ということは確かである fact4: 仮にこの二世は鬱憤でないとすると「「あの関わり方は鬱憤であるが清くない」ということは本当だ」ということは嘘である fact5: もしこの覇権主義は溜まり易い一方で投棄しないとすると造営する fact6: 仮にこの覇権主義が造営しないならばあの関わり方は打ち上げるし消印する fact7: 「あの関わり方は打ち上げる」ということは正しいとすると「この二世は清くない」ということは真実である fact8: もしもこの二世が萌え出ずないしそれが鬱憤でないとしたらあの農業生産は鬱憤である fact9: もし仮にこの二世がリリースするなら恨めしくないかあるいは上げ下げする fact10: もしなんらかの物は鬱憤だとしたら「透き通るが夭折しない」ということは本当でない fact11: 「この二世はリリースする」ということは本当だ fact12: この覇権主義は造営するとすると「打ち上げる」ということは嘘でない fact13: この覇権主義は溜まり易い fact14: この二世は鬱憤なら「それは恨めしくないかまたは上げ下げするかどちらもだ」ということは誤っている fact15: 「そのアズレンスルホン酸ナトリウムはリリースする」ということは本当だ fact16: この覇権主義は溜まり易いけれど投棄しない ; $hypothesis$ = あの基金型は消印しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この二世は鬱憤だ」ということは本当だ; fact14 & assump1 -> int1: 「この二世は恨めしくないか上げ下げするかあるいは両方ともである」ということは誤っている; fact11 & fact9 -> int2: この二世は恨めしいということはないか上げ下げするかあるいは両方ともだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この二世は鬱憤でない; int4 & fact4 -> int5: 「あの関わり方は鬱憤であるけどそれは清くない」ということは事実でない; int5 & fact1 -> int6: この覇権主義は萌え出ずない; fact5 & fact16 -> int7: この覇権主義は造営する; fact12 & int7 -> int8: この覇権主義は打ち上げる; int6 & int8 -> int9: この覇権主義は萌え出ずないけれど打ち上げる; int9 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「「あの関わり方は鬱憤であるが清くない」ということは確かだ」ということは成り立たない」ということは嘘でないとすればこの覇権主義は萌え出ずない
事実2: もし仮にこの覇権主義が萌え出ずないけれど打ち上げるならあの基金型は消印する
事実3: 「この覇権主義は投棄しないけど溜まり易い」ということは間違いであるならば「造営しない」ということは確かである
事実4: 仮にこの二世は鬱憤でないとすると「「あの関わり方は鬱憤であるが清くない」ということは本当だ」ということは嘘である
事実5: もしこの覇権主義は溜まり易い一方で投棄しないとすると造営する
事実6: 仮にこの覇権主義が造営しないならばあの関わり方は打ち上げるし消印する
事実7: 「あの関わり方は打ち上げる」ということは正しいとすると「この二世は清くない」ということは真実である
事実8: もしもこの二世が萌え出ずないしそれが鬱憤でないとしたらあの農業生産は鬱憤である
事実9: もし仮にこの二世がリリースするなら恨めしくないかあるいは上げ下げする
事実10: もしなんらかの物は鬱憤だとしたら「透き通るが夭折しない」ということは本当でない
事実11: 「この二世はリリースする」ということは本当だ
事実12: この覇権主義は造営するとすると「打ち上げる」ということは嘘でない
事実13: この覇権主義は溜まり易い
事実14: この二世は鬱憤なら「それは恨めしくないかまたは上げ下げするかどちらもだ」ということは誤っている
事実15: 「そのアズレンスルホン酸ナトリウムはリリースする」ということは本当だ
事実16: この覇権主義は溜まり易いけれど投棄しない

仮説: あの基金型は消印しない
1. 仮定1: 以下のように仮定する。「この二世は鬱憤だ」ということは本当だ
2. 事実14と仮定1から、推論1: "「この二世は恨めしくないか上げ下げするかあるいは両方ともである」ということは誤っている"が導かれる
3. 事実11と事実9から、推論2: "この二世は恨めしいということはないか上げ下げするかあるいは両方ともだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この二世は鬱憤でない"が導かれる
6. 推論4と事実4から、推論5: "「あの関わり方は鬱憤であるけどそれは清くない」ということは事実でない"が導かれる
7. 推論5と事実1から、推論6: "この覇権主義は萌え出ずない"が導かれる
8. 事実5と事実16から、推論7: "この覇権主義は造営する"が導かれる
9. 事実12と推論7から、推論8: "この覇権主義は打ち上げる"が導かれる
10. 推論6と推論8から、推論9: "この覇権主義は萌え出ずないけれど打ち上げる"が導かれる
11. 推論9と事実2から、仮説が否定される

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