この身動きは生成出来る一方で商業資本でない
fact1: なんらかの物は濡らすとすれば「商業資本であるということはない」ということは嘘である fact2: 仮に「ある物はきらめかないしそれは経済的基礎だということはない」ということは間違いであるとしたらそれは予防外交でない fact3: そのドンマイは生成出来るということはない fact4: この西欧文明は泣き腫らすし思い付きである fact5: 「「この身動きは生成出来るしまたそれは商業資本である」ということは誤っている」ということは誤りでない fact6: 「そのドンマイは思い付きだ」ということは本当だ fact7: この愚管抄は思い付きだ fact8: この身動きは仰臥しない fact9: もし仮に「思い付きであるということはない」ものがあるとしたらこの道具立ては濡らさないかあるいは泣き腫らさないかまたは両方ともだ fact10: この西欧文明は経済的基礎だ fact11: 「あの砲塔はＧ型星でなくてまた誤解され易くない」ということは誤っている fact12: 何かはきらめくとすると生成出来るしそれにそれは商業資本でない fact13: もしなんらかのものが泣き腫らすとすると商業資本であるということはない fact14: 仮にある物が商業資本だとしたらそれは思い付きである fact15: 「あの砲塔はＧ型星でなくてその上誤解され易いない」ということは正しくないならそれは思い付きでない fact16: そのドンマイは商業資本であるならば「この身動きは生成出来るがしかし商業資本であるということはない」ということは嘘だ fact17: もしこの西欧文明が予防外交でないけど泣き腫らすならばあのドンマイは濡らす fact18: もしも「濡らすということはないか泣き腫らさない」ものがあるならばあのドンマイは経済的基礎でない
void -> assump1: 以下のように仮定する。この西欧文明はきらめかないし経済的基礎でない; assump1 -> int1: この西欧文明は経済的基礎でない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この西欧文明はきらめかなくて経済的基礎でない」ということは真実でない; fact2 -> int4: もし「この西欧文明はきらめくということはなくてしかも経済的基礎であるということはない」ということは間違っていればそれは予防外交であるということはない; int3 & int4 -> int5: この西欧文明は予防外交でない; fact4 -> int6: この西欧文明は泣き腫らす; int5 & int6 -> int7: この西欧文明は予防外交でないが泣き腫らす; int7 & fact17 -> int8: 「そのドンマイは濡らす」ということは正しい; fact1 -> int9: もしもそのドンマイが濡らすなら商業資本だ; int8 & int9 -> int10: そのドンマイは商業資本だ; int10 & fact16 -> hypothesis;
この身動きは生成出来る一方で商業資本でない
fact21 -> int11: もしもこの身動きがきらめけばそれは生成出来るけれど商業資本でない; fact19 & fact20 -> int12: あの砲塔は思い付きであるということはない; int12 -> int13: 「思い付きでない」物はある; int13 & fact23 -> int14: この道具立ては濡らさないか泣き腫らさないかまたは両方である; int14 -> int15: 「濡らさないかまたは泣き腫らさないか両方ともである」物はある; int15 & fact22 -> int16: そのドンマイは経済的基礎でない; int16 -> int17: なにがしかの物は経済的基礎でない;
$facts$ = fact1: なんらかの物は濡らすとすれば「商業資本であるということはない」ということは嘘である fact2: 仮に「ある物はきらめかないしそれは経済的基礎だということはない」ということは間違いであるとしたらそれは予防外交でない fact3: そのドンマイは生成出来るということはない fact4: この西欧文明は泣き腫らすし思い付きである fact5: 「「この身動きは生成出来るしまたそれは商業資本である」ということは誤っている」ということは誤りでない fact6: 「そのドンマイは思い付きだ」ということは本当だ fact7: この愚管抄は思い付きだ fact8: この身動きは仰臥しない fact9: もし仮に「思い付きであるということはない」ものがあるとしたらこの道具立ては濡らさないかあるいは泣き腫らさないかまたは両方ともだ fact10: この西欧文明は経済的基礎だ fact11: 「あの砲塔はＧ型星でなくてまた誤解され易くない」ということは誤っている fact12: 何かはきらめくとすると生成出来るしそれにそれは商業資本でない fact13: もしなんらかのものが泣き腫らすとすると商業資本であるということはない fact14: 仮にある物が商業資本だとしたらそれは思い付きである fact15: 「あの砲塔はＧ型星でなくてその上誤解され易いない」ということは正しくないならそれは思い付きでない fact16: そのドンマイは商業資本であるならば「この身動きは生成出来るがしかし商業資本であるということはない」ということは嘘だ fact17: もしこの西欧文明が予防外交でないけど泣き腫らすならばあのドンマイは濡らす fact18: もしも「濡らすということはないか泣き腫らさない」ものがあるならばあのドンマイは経済的基礎でない ; $hypothesis$ = この身動きは生成出来る一方で商業資本でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この西欧文明はきらめかないし経済的基礎でない; assump1 -> int1: この西欧文明は経済的基礎でない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この西欧文明はきらめかなくて経済的基礎でない」ということは真実でない; fact2 -> int4: もし「この西欧文明はきらめくということはなくてしかも経済的基礎であるということはない」ということは間違っていればそれは予防外交であるということはない; int3 & int4 -> int5: この西欧文明は予防外交でない; fact4 -> int6: この西欧文明は泣き腫らす; int5 & int6 -> int7: この西欧文明は予防外交でないが泣き腫らす; int7 & fact17 -> int8: 「そのドンマイは濡らす」ということは正しい; fact1 -> int9: もしもそのドンマイが濡らすなら商業資本だ; int8 & int9 -> int10: そのドンマイは商業資本だ; int10 & fact16 -> hypothesis; __DISPROVED__
事実1: なんらかの物は濡らすとすれば「商業資本であるということはない」ということは嘘である
事実2: 仮に「ある物はきらめかないしそれは経済的基礎だということはない」ということは間違いであるとしたらそれは予防外交でない
事実3: そのドンマイは生成出来るということはない
事実4: この西欧文明は泣き腫らすし思い付きである
事実5: 「「この身動きは生成出来るしまたそれは商業資本である」ということは誤っている」ということは誤りでない
事実6: 「そのドンマイは思い付きだ」ということは本当だ
事実7: この愚管抄は思い付きだ
事実8: この身動きは仰臥しない
事実9: もし仮に「思い付きであるということはない」ものがあるとしたらこの道具立ては濡らさないかあるいは泣き腫らさないかまたは両方ともだ
事実10: この西欧文明は経済的基礎だ
事実11: 「あの砲塔はＧ型星でなくてまた誤解され易くない」ということは誤っている
事実12: 何かはきらめくとすると生成出来るしそれにそれは商業資本でない
事実13: もしなんらかのものが泣き腫らすとすると商業資本であるということはない
事実14: 仮にある物が商業資本だとしたらそれは思い付きである
事実15: 「あの砲塔はＧ型星でなくてその上誤解され易いない」ということは正しくないならそれは思い付きでない
事実16: そのドンマイは商業資本であるならば「この身動きは生成出来るがしかし商業資本であるということはない」ということは嘘だ
事実17: もしこの西欧文明が予防外交でないけど泣き腫らすならばあのドンマイは濡らす
事実18: もしも「濡らすということはないか泣き腫らさない」ものがあるならばあのドンマイは経済的基礎でない

仮説: この身動きは生成出来る一方で商業資本でない
1. 仮定1: 以下のように仮定する。この西欧文明はきらめかないし経済的基礎でない
2. 仮定1から、推論1: "この西欧文明は経済的基礎でない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この西欧文明はきらめかなくて経済的基礎でない」ということは真実でない"が導かれる
5. 事実2から、推論4: "もし「この西欧文明はきらめくということはなくてしかも経済的基礎であるということはない」ということは間違っていればそれは予防外交であるということはない"が導かれる
6. 推論3と推論4から、推論5: "この西欧文明は予防外交でない"が導かれる
7. 事実4から、推論6: "この西欧文明は泣き腫らす"が導かれる
8. 推論5と推論6から、推論7: "この西欧文明は予防外交でないが泣き腫らす"が導かれる
9. 推論7と事実17から、推論8: "「そのドンマイは濡らす」ということは正しい"が導かれる
10. 事実1から、推論9: "もしもそのドンマイが濡らすなら商業資本だ"が導かれる
11. 推論8と推論9から、推論10: "そのドンマイは商業資本だ"が導かれる
12. 推論10と事実16から、仮説が否定される

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