「「ど偉いがしかし御取り引きでない」物はある」ということは成り立たない
fact1: あの定款所定は注意深くないしおまけに流れ易くない fact2: その主計将校団はど偉い fact3: その復興国土計画要綱は華々しくないし加えてど偉くない fact4: 子供っぽい物であってさらに幼しないものは群馬県人だということはない fact5: もしもあの定款所定は社会主義社会で更に独立行政法人化するとすれば「塞ぎ込まない」ということは成り立つ fact6: 「その主計将校団はど偉いけど御取り引きであるということはない」ということは誤りだとするとその年次は独立行政法人化しない fact7: もしその年次が独立行政法人化しないとしたらあの定款所定は独立行政法人化しない fact8: あるものは流れ易い fact9: 「御取り引きでない」ものはある fact10: その年次は御取り引きでない fact11: 「あの定款所定は注意深い」ということは成り立たない fact12: その年次は社会主義社会だけれど色っぽくない fact13: 「あの定款所定は流れ易くなくて更に塞ぎ込まない」ということは誤っている fact14: 「ど偉い」ものはある fact15: もしもその年次が独立行政法人化しないとしたらあの定款所定は社会主義社会だが独立行政法人化しない fact16: その主計将校団がど偉くないとすればその年次は独立行政法人化するということはない fact17: その主計将校団はど偉いけれど独立行政法人化しない fact18: ある物は欲惚けだ fact19: もし仮にあの定款所定は独立行政法人化しないとしたら「その主計将校団は流れ易いけど独立行政法人化しない」ということは成り立つ fact20: もしもなんらかの物は社会主義社会である一方で独立行政法人化しないとすると「塞ぎ込まない」ということは成り立つ fact21: その主計将校団は社会主義社会でない fact22: その主計将校団は流れ易いがしかし脱走しない fact23: 仮に社会主義社会が独立行政法人化するとするとそれは塞ぎ込むということはない fact24: あの定款所定は独立行政法人化しない
void -> assump1: 以下のように仮定する。「「その主計将校団はど偉いが御取り引きでない」ということは成り立つ」ということは成り立たない; fact6 & assump1 -> int1: その年次は独立行政法人化しない; int1 & fact15 -> int2: あの定款所定は社会主義社会であるがしかし独立行政法人化しない; fact20 -> int3: 仮にあの定款所定は社会主義社会だけれど独立行政法人化しないとしたら塞ぎ込まない; int2 & int3 -> int4: 「あの定款所定は塞ぎ込まない」ということは事実である; fact1 -> int5: あの定款所定は流れ易くない; int4 & int5 -> int6: あの定款所定は流れ易くないし塞ぎ込まない; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その主計将校団はど偉いけど御取り引きでない」ということは事実だ; int8 -> 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: 仮に社会主義社会が独立行政法人化するとするとそれは塞ぎ込むということはない fact24: あの定款所定は独立行政法人化しない ; $hypothesis$ = 「「ど偉いがしかし御取り引きでない」物はある」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その主計将校団はど偉いが御取り引きでない」ということは成り立つ」ということは成り立たない; fact6 & assump1 -> int1: その年次は独立行政法人化しない; int1 & fact15 -> int2: あの定款所定は社会主義社会であるがしかし独立行政法人化しない; fact20 -> int3: 仮にあの定款所定は社会主義社会だけれど独立行政法人化しないとしたら塞ぎ込まない; int2 & int3 -> int4: 「あの定款所定は塞ぎ込まない」ということは事実である; fact1 -> int5: あの定款所定は流れ易くない; int4 & int5 -> int6: あの定款所定は流れ易くないし塞ぎ込まない; int6 & fact13 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その主計将校団はど偉いけど御取り引きでない」ということは事実だ; int8 -> 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: 仮に社会主義社会が独立行政法人化するとするとそれは塞ぎ込むということはない
事実24: あの定款所定は独立行政法人化しない

仮説: 「「ど偉いがしかし御取り引きでない」物はある」ということは成り立たない
1. 仮定1: 以下のように仮定する。「「その主計将校団はど偉いが御取り引きでない」ということは成り立つ」ということは成り立たない
2. 事実6と仮定1から、推論1: "その年次は独立行政法人化しない"が導かれる
3. 推論1と事実15から、推論2: "あの定款所定は社会主義社会であるがしかし独立行政法人化しない"が導かれる
4. 事実20から、推論3: "仮にあの定款所定は社会主義社会だけれど独立行政法人化しないとしたら塞ぎ込まない"が導かれる
5. 推論2と推論3から、推論4: "「あの定款所定は塞ぎ込まない」ということは事実である"が導かれる
6. 事実1から、推論5: "あの定款所定は流れ易くない"が導かれる
7. 推論4と推論5から、推論6: "あの定款所定は流れ易くないし塞ぎ込まない"が導かれる
8. 推論6と事実13から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その主計将校団はど偉いけど御取り引きでない」ということは事実だ"が導かれる
10. 推論8から、仮説が否定される

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