そのオキシミオグロビンは相矛盾する
fact1: その体積は振動しない fact2: もし仮にあの破滅願望が調節し易いとすればあのオキシミオグロビンは調節し易い fact3: もしも何らかのものは実行可能ファイルでないなら「それは実現化する一方で調節し易くない」ということは誤っている fact4: もし仮に「「踏襲するしおまけに興奮する」ということは成り立つということはない」ものがあるならその体積は踏襲しない fact5: 調節し易い物は相矛盾する fact6: もしもあの破滅願望が振動しないが皮肉っぽいとすればその体積は調節し易くない fact7: この調査対象地は示せる fact8: 「もしこの研究仮説は示せないならば「この研究仮説は踏襲するししかもそれは興奮する」ということは嘘である」ということは確かだ fact9: 「なんらかの物は実現化しないがしかし調節し易い」ということは誤りだとすればそれは相矛盾するということはない fact10: 調節し易くないものは相矛盾しない fact11: もしなにかは踏襲しないなら「使い辛い実行可能ファイルである」ということは成り立つということはない fact12: もしもその体積は調節し易くないとすると「そのオキシミオグロビンは実現化しない一方で調節し易い」ということは偽である fact13: そのオキシミオグロビンは奇麗過ぎないけどアクセス出来る fact14: この調査対象地は唐突さでない fact15: もし仮にこの調査対象地が唐突さでないけれどそれが示せればこの研究仮説は示せない fact16: 仮に「あるものは使い辛いしおまけに実行可能ファイルだ」ということは嘘であるとすると「それは実行可能ファイルでない」ということは事実と異ならない fact17: あの破滅願望は振動しないがしかし皮肉っぽい
fact6 & fact17 -> int1: その体積は調節し易くない; int1 & fact12 -> int2: 「そのオキシミオグロビンは実現化しないけど調節し易い」ということは成り立たない; fact9 -> int3: 仮に「そのオキシミオグロビンは実現化するということはないがしかし調節し易い」ということは偽であるならそれは相矛盾しない; int2 & int3 -> hypothesis;
fact6 & fact17 -> int1: ¬{B}{b}; int1 & fact12 -> int2: ¬(¬{C}{c} & {B}{c}); fact9 -> int3: ¬(¬{C}{c} & {B}{c}) -> ¬{A}{c}; int2 & int3 -> hypothesis;
「そのオキシミオグロビンは相矛盾する」ということは成り立つ
fact23 -> int4: もしもそのオキシミオグロビンが調節し易いならばそれは相矛盾する; fact19 -> int5: その体積は実行可能ファイルでないとしたら「実現化するししかも調節し易くない」ということは成り立たない; fact25 -> int6: もしも「その体積は使い辛いしそれは実行可能ファイルである」ということは間違っていればそれは実行可能ファイルでない; fact24 -> int7: もしその体積は踏襲しないとしたら「それは使い辛いし実行可能ファイルである」ということは成り立たない; fact20 & fact21 -> int8: この調査対象地は唐突さでないけどそれは示せる; fact18 & int8 -> int9: 「この研究仮説は示せない」ということは成り立つ; fact26 & int9 -> int10: 「この研究仮説は踏襲するししかもそれは興奮する」ということは間違っている; int10 -> int11: 「「踏襲するし興奮する」ということは間違っている」ものはある; int11 & fact27 -> int12: その体積は踏襲しない; int7 & int12 -> int13: 「その体積は使い辛いしおまけに実行可能ファイルである」ということは確かであるということはない; int6 & int13 -> int14: その体積は実行可能ファイルでない; int5 & int14 -> int15: 「その体積は実現化する一方で調節し易くない」ということは成り立たない; int15 -> int16: 「「実現化するしそれに調節し易くない」ということは誤りである」物はある;
$facts$ = fact1: その体積は振動しない fact2: もし仮にあの破滅願望が調節し易いとすればあのオキシミオグロビンは調節し易い fact3: もしも何らかのものは実行可能ファイルでないなら「それは実現化する一方で調節し易くない」ということは誤っている fact4: もし仮に「「踏襲するしおまけに興奮する」ということは成り立つということはない」ものがあるならその体積は踏襲しない fact5: 調節し易い物は相矛盾する fact6: もしもあの破滅願望が振動しないが皮肉っぽいとすればその体積は調節し易くない fact7: この調査対象地は示せる fact8: 「もしこの研究仮説は示せないならば「この研究仮説は踏襲するししかもそれは興奮する」ということは嘘である」ということは確かだ fact9: 「なんらかの物は実現化しないがしかし調節し易い」ということは誤りだとすればそれは相矛盾するということはない fact10: 調節し易くないものは相矛盾しない fact11: もしなにかは踏襲しないなら「使い辛い実行可能ファイルである」ということは成り立つということはない fact12: もしもその体積は調節し易くないとすると「そのオキシミオグロビンは実現化しない一方で調節し易い」ということは偽である fact13: そのオキシミオグロビンは奇麗過ぎないけどアクセス出来る fact14: この調査対象地は唐突さでない fact15: もし仮にこの調査対象地が唐突さでないけれどそれが示せればこの研究仮説は示せない fact16: 仮に「あるものは使い辛いしおまけに実行可能ファイルだ」ということは嘘であるとすると「それは実行可能ファイルでない」ということは事実と異ならない fact17: あの破滅願望は振動しないがしかし皮肉っぽい ; $hypothesis$ = そのオキシミオグロビンは相矛盾する ; $proof$ = 
fact6 & fact17 -> int1: その体積は調節し易くない; int1 & fact12 -> int2: 「そのオキシミオグロビンは実現化しないけど調節し易い」ということは成り立たない; fact9 -> int3: 仮に「そのオキシミオグロビンは実現化するということはないがしかし調節し易い」ということは偽であるならそれは相矛盾しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その体積は振動しない
事実2: もし仮にあの破滅願望が調節し易いとすればあのオキシミオグロビンは調節し易い
事実3: もしも何らかのものは実行可能ファイルでないなら「それは実現化する一方で調節し易くない」ということは誤っている
事実4: もし仮に「「踏襲するしおまけに興奮する」ということは成り立つということはない」ものがあるならその体積は踏襲しない
事実5: 調節し易い物は相矛盾する
事実6: もしもあの破滅願望が振動しないが皮肉っぽいとすればその体積は調節し易くない
事実7: この調査対象地は示せる
事実8: 「もしこの研究仮説は示せないならば「この研究仮説は踏襲するししかもそれは興奮する」ということは嘘である」ということは確かだ
事実9: 「なんらかの物は実現化しないがしかし調節し易い」ということは誤りだとすればそれは相矛盾するということはない
事実10: 調節し易くないものは相矛盾しない
事実11: もしなにかは踏襲しないなら「使い辛い実行可能ファイルである」ということは成り立つということはない
事実12: もしもその体積は調節し易くないとすると「そのオキシミオグロビンは実現化しない一方で調節し易い」ということは偽である
事実13: そのオキシミオグロビンは奇麗過ぎないけどアクセス出来る
事実14: この調査対象地は唐突さでない
事実15: もし仮にこの調査対象地が唐突さでないけれどそれが示せればこの研究仮説は示せない
事実16: 仮に「あるものは使い辛いしおまけに実行可能ファイルだ」ということは嘘であるとすると「それは実行可能ファイルでない」ということは事実と異ならない
事実17: あの破滅願望は振動しないがしかし皮肉っぽい

仮説: そのオキシミオグロビンは相矛盾する
1. 事実6と事実17から、推論1: "その体積は調節し易くない"が導かれる
2. 推論1と事実12から、推論2: "「そのオキシミオグロビンは実現化しないけど調節し易い」ということは成り立たない"が導かれる
3. 事実9から、推論3: "仮に「そのオキシミオグロビンは実現化するということはないがしかし調節し易い」ということは偽であるならそれは相矛盾しない"が導かれる
4. 推論2と推論3から、仮説が否定される

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