その理論家は蠢かす
fact1: その訓練部隊は山深い fact2: もし「その訓練部隊は遅れ易いがしかし聖霊でない」ということは成り立たないならその理論家は蠢かさない fact3: もし仮に「なにかは山深いかほったらかさないかもしくはどちらもだ」ということは事実と異なればそれは使い辛い fact4: その訓練部隊は聖霊でない fact5: 仮にその訓練部隊が遅れ易くて更にそれは聖霊であるとすると使い辛くない fact6: 「二十ＭＬな」物はある fact7: もし「「二十ＭＬである」ということは本当である」ものがあるとすればそのヘルツは射出するかもしくはそれは二十ＭＬであるかもしくはどちらもだ fact8: もしも「その理論家は蠢かすしまた聖霊である」ということは成り立たないならこの江戸幕府は聖霊でない fact9: 「その訓練部隊は山深いかまたはほったらかさないかあるいは両方ともである」ということは成り立たないとしたら使い辛い fact10: その訓練部隊は達成し易くない fact11: もし仮に遅れ易いものが聖霊だとすると使い辛くない fact12: もしも「その拝は使い辛くなくて山深くない」ということは誤っているならその理論家は蠢かす fact13: もし「あるものは薄暗くて達成し易い」ということは偽だとしたらそれは達成し易くない fact14: もし仮にそのヘルツが二十ＭＬならばその大反攻は射出しない fact15: もしもその大反攻は射出しないなら「その哺乳瓶は薄暗くて達成し易い」ということは間違いだ fact16: 仮に「あるものは山深くないかそれはほったらかさない」ということは事実と異なるとすればそれは使い辛い fact17: 「その訓練部隊は遅れ易いしまたそれは聖霊である」ということは成り立たない fact18: もしその訓練部隊は聖霊であるとすれば「その理論家は蠢かさない」ということは本当だ fact19: もしもそのヘルツが射出するとすればその大反攻は射出しない fact20: 仮にその訓練部隊は達成し易くないならそれは山深い fact21: 遅れ易いものは聖霊でないとしたら使い辛いということはない fact22: もし「その訓練部隊は達成し易くない」ということは確かであるとすると「それは山深くないかあるいはほったらかさないかあるいはどちらもである」ということは誤っている fact23: 「その拝は達成し易くない」ということは確かだ
fact21 -> int1: もしもその訓練部隊が遅れ易いけどそれは聖霊であるということはないとすればそれは使い辛くない; void -> assump1: 以下のように仮定する。その訓練部隊は遅れ易いがしかし聖霊でない; int1 & assump1 -> int2: その訓練部隊は使い辛くない; fact16 -> int3: 仮に「その訓練部隊は山深くないかあるいはそれはほったらかすということはないか両方である」ということは事実と異なるとすれば使い辛い; fact10 & fact22 -> int4: 「その訓練部隊は山深くないかもしくはそれはほったらかさないかもしくは両方だ」ということは嘘だ; int3 & int4 -> int5: 「その訓練部隊は使い辛い」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その訓練部隊は遅れ易いけれど聖霊でない」ということは嘘だ; int7 & fact2 -> hypothesis;
この江戸幕府は聖霊でない
$facts$ = fact1: その訓練部隊は山深い fact2: もし「その訓練部隊は遅れ易いがしかし聖霊でない」ということは成り立たないならその理論家は蠢かさない fact3: もし仮に「なにかは山深いかほったらかさないかもしくはどちらもだ」ということは事実と異なればそれは使い辛い fact4: その訓練部隊は聖霊でない fact5: 仮にその訓練部隊が遅れ易くて更にそれは聖霊であるとすると使い辛くない fact6: 「二十ＭＬな」物はある fact7: もし「「二十ＭＬである」ということは本当である」ものがあるとすればそのヘルツは射出するかもしくはそれは二十ＭＬであるかもしくはどちらもだ fact8: もしも「その理論家は蠢かすしまた聖霊である」ということは成り立たないならこの江戸幕府は聖霊でない fact9: 「その訓練部隊は山深いかまたはほったらかさないかあるいは両方ともである」ということは成り立たないとしたら使い辛い fact10: その訓練部隊は達成し易くない fact11: もし仮に遅れ易いものが聖霊だとすると使い辛くない fact12: もしも「その拝は使い辛くなくて山深くない」ということは誤っているならその理論家は蠢かす fact13: もし「あるものは薄暗くて達成し易い」ということは偽だとしたらそれは達成し易くない fact14: もし仮にそのヘルツが二十ＭＬならばその大反攻は射出しない fact15: もしもその大反攻は射出しないなら「その哺乳瓶は薄暗くて達成し易い」ということは間違いだ fact16: 仮に「あるものは山深くないかそれはほったらかさない」ということは事実と異なるとすればそれは使い辛い fact17: 「その訓練部隊は遅れ易いしまたそれは聖霊である」ということは成り立たない fact18: もしその訓練部隊は聖霊であるとすれば「その理論家は蠢かさない」ということは本当だ fact19: もしもそのヘルツが射出するとすればその大反攻は射出しない fact20: 仮にその訓練部隊は達成し易くないならそれは山深い fact21: 遅れ易いものは聖霊でないとしたら使い辛いということはない fact22: もし「その訓練部隊は達成し易くない」ということは確かであるとすると「それは山深くないかあるいはほったらかさないかあるいはどちらもである」ということは誤っている fact23: 「その拝は達成し易くない」ということは確かだ ; $hypothesis$ = その理論家は蠢かす ; $proof$ = 
fact21 -> int1: もしもその訓練部隊が遅れ易いけどそれは聖霊であるということはないとすればそれは使い辛くない; void -> assump1: 以下のように仮定する。その訓練部隊は遅れ易いがしかし聖霊でない; int1 & assump1 -> int2: その訓練部隊は使い辛くない; fact16 -> int3: 仮に「その訓練部隊は山深くないかあるいはそれはほったらかすということはないか両方である」ということは事実と異なるとすれば使い辛い; fact10 & fact22 -> int4: 「その訓練部隊は山深くないかもしくはそれはほったらかさないかもしくは両方だ」ということは嘘だ; int3 & int4 -> int5: 「その訓練部隊は使い辛い」ということは成り立つ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その訓練部隊は遅れ易いけれど聖霊でない」ということは嘘だ; int7 & fact2 -> 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: 「その拝は達成し易くない」ということは確かだ

仮説: その理論家は蠢かす
1. 事実21から、推論1: "もしもその訓練部隊が遅れ易いけどそれは聖霊であるということはないとすればそれは使い辛くない"が導かれる
2. 仮定1: 以下のように仮定する。その訓練部隊は遅れ易いがしかし聖霊でない
3. 推論1と仮定1から、推論2: "その訓練部隊は使い辛くない"が導かれる
4. 事実16から、推論3: "仮に「その訓練部隊は山深くないかあるいはそれはほったらかすということはないか両方である」ということは事実と異なるとすれば使い辛い"が導かれる
5. 事実10と事実22から、推論4: "「その訓練部隊は山深くないかもしくはそれはほったらかさないかもしくは両方だ」ということは嘘だ"が導かれる
6. 推論3と推論4から、推論5: "「その訓練部隊は使い辛い」ということは成り立つ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その訓練部隊は遅れ易いけれど聖霊でない」ということは嘘だ"が導かれる
9. 推論7と事実2から、仮説が否定される

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