「あの分室は乱暴するしそれにそれはＥＪωＴだ」ということは事実と異なる
fact1: もしも何かは大静脈でないならば「それは浮上しないしさらに赤黒くない」ということは誤りだ fact2: 仮にその漢文は集権化であるということはないとすれば「このカーマは大静脈だけれどそれは囲い込まない」ということは成り立たない fact3: もしもなんらかのものが二等分すればそれは運び出す fact4: なにがしかのものは大静脈でないなら「赤黒いしおまけに浮上する」ということは事実でない fact5: もしなにかは集権化でないがしかし大静脈だとすると「乱暴する」ということは正しい fact6: もしも「とあるものは赤黒いし加えて浮上する」ということは成り立つということはないとすればそれは浮上しない fact7: もし仮に「このカーマが大静脈だけど囲い込まない」ということは成り立たないとしたらあの分室は大静脈でない fact8: 仮になにがしかのものは浮上しないならば「それは乱暴するししかもＥＪωＴである」ということは間違いである fact9: もしもあの脱毛が運び出すかあるいは集権化でないかあるいは両方だとするとその漢文は集権化だということはない fact10: あの分室は囲い込む fact11: その検査権は囲い込む fact12: 仮にその自分以上が溶剤だとしたらその議決権比率は家畜化する fact13: 仮にその自分以上が憎み合うならその議決権比率は家畜化する fact14: 「このカーマは浮上しない一方でそれは赤黒い」ということは事実である fact15: もし「「「残り火でないけど吹き捲る」ということは本当だ」ということは誤っている」ものはあるとすると「その有料トイレは利用され易くない」ということは間違っているということはない fact16: もしもこのカーマが浮上しないならあの分室はＥＪωＴだ fact17: 「「残り火でなくて更に吹き捲る」ということは事実と異なる」物はある fact18: 仮にその有料トイレが利用され易くないとするとその自分以上は溶剤であるかもしくは憎み合うかあるいはどちらもだ fact19: 仮にあの分室が囲い込むならそれは集権化でないが大静脈だ fact20: もし仮に何らかのものが家畜化するなら二等分する fact21: もしあの分室は乱暴するしまたＥＪωＴだとしたらそれは浮上する
fact14 -> int1: このカーマは浮上しない; int1 & fact16 -> int2: あの分室はＥＪωＴだ; fact5 -> int3: 仮にあの分室が集権化であるということはない一方で大静脈だとしたらそれは乱暴する; fact19 & fact10 -> int4: あの分室は集権化でないけど大静脈だ; int3 & int4 -> int5: あの分室は乱暴する; int2 & int5 -> hypothesis;
fact14 -> int1: ¬{A}{a}; int1 & fact16 -> int2: {C}{b}; fact5 -> int3: (¬{F}{b} & {E}{b}) -> {D}{b}; fact19 & fact10 -> int4: (¬{F}{b} & {E}{b}); int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
「あの分室は乱暴するしまたＥＪωＴだ」ということは間違いだ
fact22 -> int6: もしもその漢文は大静脈であるということはないならば「それは浮上しなくてしかも赤黒くない」ということは誤りだ;
$facts$ = fact1: もしも何かは大静脈でないならば「それは浮上しないしさらに赤黒くない」ということは誤りだ fact2: 仮にその漢文は集権化であるということはないとすれば「このカーマは大静脈だけれどそれは囲い込まない」ということは成り立たない fact3: もしもなんらかのものが二等分すればそれは運び出す fact4: なにがしかのものは大静脈でないなら「赤黒いしおまけに浮上する」ということは事実でない fact5: もしなにかは集権化でないがしかし大静脈だとすると「乱暴する」ということは正しい fact6: もしも「とあるものは赤黒いし加えて浮上する」ということは成り立つということはないとすればそれは浮上しない fact7: もし仮に「このカーマが大静脈だけど囲い込まない」ということは成り立たないとしたらあの分室は大静脈でない fact8: 仮になにがしかのものは浮上しないならば「それは乱暴するししかもＥＪωＴである」ということは間違いである fact9: もしもあの脱毛が運び出すかあるいは集権化でないかあるいは両方だとするとその漢文は集権化だということはない fact10: あの分室は囲い込む fact11: その検査権は囲い込む fact12: 仮にその自分以上が溶剤だとしたらその議決権比率は家畜化する fact13: 仮にその自分以上が憎み合うならその議決権比率は家畜化する fact14: 「このカーマは浮上しない一方でそれは赤黒い」ということは事実である fact15: もし「「「残り火でないけど吹き捲る」ということは本当だ」ということは誤っている」ものはあるとすると「その有料トイレは利用され易くない」ということは間違っているということはない fact16: もしもこのカーマが浮上しないならあの分室はＥＪωＴだ fact17: 「「残り火でなくて更に吹き捲る」ということは事実と異なる」物はある fact18: 仮にその有料トイレが利用され易くないとするとその自分以上は溶剤であるかもしくは憎み合うかあるいはどちらもだ fact19: 仮にあの分室が囲い込むならそれは集権化でないが大静脈だ fact20: もし仮に何らかのものが家畜化するなら二等分する fact21: もしあの分室は乱暴するしまたＥＪωＴだとしたらそれは浮上する ; $hypothesis$ = 「あの分室は乱暴するしそれにそれはＥＪωＴだ」ということは事実と異なる ; $proof$ = 
fact14 -> int1: このカーマは浮上しない; int1 & fact16 -> int2: あの分室はＥＪωＴだ; fact5 -> int3: 仮にあの分室が集権化であるということはない一方で大静脈だとしたらそれは乱暴する; fact19 & fact10 -> int4: あの分室は集権化でないけど大静脈だ; int3 & int4 -> int5: あの分室は乱暴する; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしも何かは大静脈でないならば「それは浮上しないしさらに赤黒くない」ということは誤りだ
事実2: 仮にその漢文は集権化であるということはないとすれば「このカーマは大静脈だけれどそれは囲い込まない」ということは成り立たない
事実3: もしもなんらかのものが二等分すればそれは運び出す
事実4: なにがしかのものは大静脈でないなら「赤黒いしおまけに浮上する」ということは事実でない
事実5: もしなにかは集権化でないがしかし大静脈だとすると「乱暴する」ということは正しい
事実6: もしも「とあるものは赤黒いし加えて浮上する」ということは成り立つということはないとすればそれは浮上しない
事実7: もし仮に「このカーマが大静脈だけど囲い込まない」ということは成り立たないとしたらあの分室は大静脈でない
事実8: 仮になにがしかのものは浮上しないならば「それは乱暴するししかもＥＪωＴである」ということは間違いである
事実9: もしもあの脱毛が運び出すかあるいは集権化でないかあるいは両方だとするとその漢文は集権化だということはない
事実10: あの分室は囲い込む
事実11: その検査権は囲い込む
事実12: 仮にその自分以上が溶剤だとしたらその議決権比率は家畜化する
事実13: 仮にその自分以上が憎み合うならその議決権比率は家畜化する
事実14: 「このカーマは浮上しない一方でそれは赤黒い」ということは事実である
事実15: もし「「「残り火でないけど吹き捲る」ということは本当だ」ということは誤っている」ものはあるとすると「その有料トイレは利用され易くない」ということは間違っているということはない
事実16: もしもこのカーマが浮上しないならあの分室はＥＪωＴだ
事実17: 「「残り火でなくて更に吹き捲る」ということは事実と異なる」物はある
事実18: 仮にその有料トイレが利用され易くないとするとその自分以上は溶剤であるかもしくは憎み合うかあるいはどちらもだ
事実19: 仮にあの分室が囲い込むならそれは集権化でないが大静脈だ
事実20: もし仮に何らかのものが家畜化するなら二等分する
事実21: もしあの分室は乱暴するしまたＥＪωＴだとしたらそれは浮上する

仮説: 「あの分室は乱暴するしそれにそれはＥＪωＴだ」ということは事実と異なる
1. 事実14から、推論1: "このカーマは浮上しない"が導かれる
2. 推論1と事実16から、推論2: "あの分室はＥＪωＴだ"が導かれる
3. 事実5から、推論3: "仮にあの分室が集権化であるということはない一方で大静脈だとしたらそれは乱暴する"が導かれる
4. 事実19と事実10から、推論4: "あの分室は集権化でないけど大静脈だ"が導かれる
5. 推論3と推論4から、推論5: "あの分室は乱暴する"が導かれる
6. 推論2と推論5から、仮説が否定される

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