この掃討作戦は流れ出ないかもしくはそれは献金する
fact1: 発生し易くない物は流れ出ないかまたは献金するかあるいは両方である fact2: 仮にそのデモクラシーは力説する一方で押し始めないならばそれは発生し易い fact3: 何らかの物が力説するとすればそれは流れ出る fact4: もしも「あの消費者数は立ち現われるし発生し易い」ということは誤りであるとすれば「そのデモクラシーは発生し易くない」ということは偽でない fact5: もし仮にそのデモクラシーが力説するなら流れ出る fact6: もしそのデモクラシーが力説するということはなくて押し始めないならば発生し易い fact7: もしそのデモクラシーが流れ出ればこの掃討作戦は流れ出る fact8: もし「なにがしかのものは力説するということはないしかつ押し始めない」ということは正しくないならばそれは流れ出る fact9: 仮にそのデモクラシーは流れ出るとしたら「この掃討作戦は流れ出るということはないかもしくは献金するかあるいはどちらもである」ということは誤っている fact10: そのデモクラシーは力説しない fact11: 仮にあの消費者数が発生し易くないとしたらそのデモクラシーは発生し易くない fact12: 「「あの消費者数は立ち現われるしそれに発生し易い」ということは事実と異なる」ということは確かだ fact13: 「「そのデモクラシーは力説するけれど押し始めない」ということは事実である」ということは誤りである fact14: この掃討作戦は流れ出る
void -> assump1: 以下のように仮定する。そのデモクラシーは力説しなくて更に押し始めない; fact6 & assump1 -> int1: そのデモクラシーは発生し易い; fact4 & fact12 -> int2: そのデモクラシーは発生し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのデモクラシーは力説しないし押し始めない」ということは誤りだ; fact8 -> int5: 「そのデモクラシーは力説しないしそれは押し始めない」ということは成り立たないならば「流れ出る」ということは成り立つ; int4 & int5 -> int6: そのデモクラシーは流れ出る; int6 & fact9 -> hypothesis;
この掃討作戦は流れ出ないかまたは献金するかもしくは両方だ
fact15 -> int7: 仮にこの掃討作戦が発生し易くないとすると流れ出ないかまたは献金する;
$facts$ = fact1: 発生し易くない物は流れ出ないかまたは献金するかあるいは両方である fact2: 仮にそのデモクラシーは力説する一方で押し始めないならばそれは発生し易い fact3: 何らかの物が力説するとすればそれは流れ出る fact4: もしも「あの消費者数は立ち現われるし発生し易い」ということは誤りであるとすれば「そのデモクラシーは発生し易くない」ということは偽でない fact5: もし仮にそのデモクラシーが力説するなら流れ出る fact6: もしそのデモクラシーが力説するということはなくて押し始めないならば発生し易い fact7: もしそのデモクラシーが流れ出ればこの掃討作戦は流れ出る fact8: もし「なにがしかのものは力説するということはないしかつ押し始めない」ということは正しくないならばそれは流れ出る fact9: 仮にそのデモクラシーは流れ出るとしたら「この掃討作戦は流れ出るということはないかもしくは献金するかあるいはどちらもである」ということは誤っている fact10: そのデモクラシーは力説しない fact11: 仮にあの消費者数が発生し易くないとしたらそのデモクラシーは発生し易くない fact12: 「「あの消費者数は立ち現われるしそれに発生し易い」ということは事実と異なる」ということは確かだ fact13: 「「そのデモクラシーは力説するけれど押し始めない」ということは事実である」ということは誤りである fact14: この掃討作戦は流れ出る ; $hypothesis$ = この掃討作戦は流れ出ないかもしくはそれは献金する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのデモクラシーは力説しなくて更に押し始めない; fact6 & assump1 -> int1: そのデモクラシーは発生し易い; fact4 & fact12 -> int2: そのデモクラシーは発生し易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのデモクラシーは力説しないし押し始めない」ということは誤りだ; fact8 -> int5: 「そのデモクラシーは力説しないしそれは押し始めない」ということは成り立たないならば「流れ出る」ということは成り立つ; int4 & int5 -> int6: そのデモクラシーは流れ出る; int6 & fact9 -> hypothesis; __DISPROVED__
事実1: 発生し易くない物は流れ出ないかまたは献金するかあるいは両方である
事実2: 仮にそのデモクラシーは力説する一方で押し始めないならばそれは発生し易い
事実3: 何らかの物が力説するとすればそれは流れ出る
事実4: もしも「あの消費者数は立ち現われるし発生し易い」ということは誤りであるとすれば「そのデモクラシーは発生し易くない」ということは偽でない
事実5: もし仮にそのデモクラシーが力説するなら流れ出る
事実6: もしそのデモクラシーが力説するということはなくて押し始めないならば発生し易い
事実7: もしそのデモクラシーが流れ出ればこの掃討作戦は流れ出る
事実8: もし「なにがしかのものは力説するということはないしかつ押し始めない」ということは正しくないならばそれは流れ出る
事実9: 仮にそのデモクラシーは流れ出るとしたら「この掃討作戦は流れ出るということはないかもしくは献金するかあるいはどちらもである」ということは誤っている
事実10: そのデモクラシーは力説しない
事実11: 仮にあの消費者数が発生し易くないとしたらそのデモクラシーは発生し易くない
事実12: 「「あの消費者数は立ち現われるしそれに発生し易い」ということは事実と異なる」ということは確かだ
事実13: 「「そのデモクラシーは力説するけれど押し始めない」ということは事実である」ということは誤りである
事実14: この掃討作戦は流れ出る

仮説: この掃討作戦は流れ出ないかもしくはそれは献金する
1. 仮定1: 以下のように仮定する。そのデモクラシーは力説しなくて更に押し始めない
2. 事実6と仮定1から、推論1: "そのデモクラシーは発生し易い"が導かれる
3. 事実4と事実12から、推論2: "そのデモクラシーは発生し易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのデモクラシーは力説しないし押し始めない」ということは誤りだ"が導かれる
6. 事実8から、推論5: "「そのデモクラシーは力説しないしそれは押し始めない」ということは成り立たないならば「流れ出る」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "そのデモクラシーは流れ出る"が導かれる
8. 推論6と事実9から、仮説が否定される

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