「もし仮にその競走能力が風任せであるとしたらそのオイルディスクは忌ま忌ましい」ということは成り立たない
fact1: もし仮にそのオイルディスクが得られ易いけれど小規模農家でないならそれは忌ま忌ましい fact2: もし仮にその競走能力は忌ま忌ましかないしおまけに得られ易くないならばそれは風任せである fact3: そのオイルディスクは得られ易くない fact4: もし何らかのものが風任せでなくて更に忌ま忌ましかないとしたら得られ易い fact5: 仮にその競走能力が風任せだとすればあのオイルディスクは得られ易いということはない fact6: 「もし得られ易くない物が小規模農家でないとすれば忌ま忌ましい」ということは本当だ fact7: 仮にその競走能力が空回りしないならばあの搾取は忌ま忌ましいししかも風任せである fact8: そのオイルディスクは風任せだ fact9: もしもその競走能力は風任せだということはなくて得られ易くないなら小規模農家だ fact10: そのオイルディスクは聞かす fact11: もしそのオイルディスクは得られ易くないししかも風任せでないならば「それは小規模農家である」ということは正しい fact12: もし何かは風任せであるということはないしそれに得られ易くないとすればそれは忌ま忌ましい fact13: その競走能力が忌ま忌ましいならそのオイルディスクは得られ易い fact14: その軌道運動は得られ易い fact15: もしもその競走能力が風任せであるとしたらそのオイルディスクは得られ易くないしさらに小規模農家でない fact16: もしも得られ易い物が小規模農家でないとすればそれは忌ま忌ましい
void -> assump1: 以下のように仮定する。その競走能力は風任せだ; fact15 & assump1 -> int1: そのオイルディスクは得られ易くないし加えて小規模農家でない; fact6 -> int2: そのオイルディスクが得られ易いということはないし更に小規模農家だということはないならば忌ま忌ましい; int1 & int2 -> int3: そのオイルディスクは忌ま忌ましい; [assump1] & int3 -> hypothesis;
「この搾取は風任せでない」ということは誤りである
$facts$ = fact1: もし仮にそのオイルディスクが得られ易いけれど小規模農家でないならそれは忌ま忌ましい fact2: もし仮にその競走能力は忌ま忌ましかないしおまけに得られ易くないならばそれは風任せである fact3: そのオイルディスクは得られ易くない fact4: もし何らかのものが風任せでなくて更に忌ま忌ましかないとしたら得られ易い fact5: 仮にその競走能力が風任せだとすればあのオイルディスクは得られ易いということはない fact6: 「もし得られ易くない物が小規模農家でないとすれば忌ま忌ましい」ということは本当だ fact7: 仮にその競走能力が空回りしないならばあの搾取は忌ま忌ましいししかも風任せである fact8: そのオイルディスクは風任せだ fact9: もしもその競走能力は風任せだということはなくて得られ易くないなら小規模農家だ fact10: そのオイルディスクは聞かす fact11: もしそのオイルディスクは得られ易くないししかも風任せでないならば「それは小規模農家である」ということは正しい fact12: もし何かは風任せであるということはないしそれに得られ易くないとすればそれは忌ま忌ましい fact13: その競走能力が忌ま忌ましいならそのオイルディスクは得られ易い fact14: その軌道運動は得られ易い fact15: もしもその競走能力が風任せであるとしたらそのオイルディスクは得られ易くないしさらに小規模農家でない fact16: もしも得られ易い物が小規模農家でないとすればそれは忌ま忌ましい ; $hypothesis$ = 「もし仮にその競走能力が風任せであるとしたらそのオイルディスクは忌ま忌ましい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その競走能力は風任せだ; fact15 & assump1 -> int1: そのオイルディスクは得られ易くないし加えて小規模農家でない; fact6 -> int2: そのオイルディスクが得られ易いということはないし更に小規模農家だということはないならば忌ま忌ましい; int1 & int2 -> int3: そのオイルディスクは忌ま忌ましい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にそのオイルディスクが得られ易いけれど小規模農家でないならそれは忌ま忌ましい
事実2: もし仮にその競走能力は忌ま忌ましかないしおまけに得られ易くないならばそれは風任せである
事実3: そのオイルディスクは得られ易くない
事実4: もし何らかのものが風任せでなくて更に忌ま忌ましかないとしたら得られ易い
事実5: 仮にその競走能力が風任せだとすればあのオイルディスクは得られ易いということはない
事実6: 「もし得られ易くない物が小規模農家でないとすれば忌ま忌ましい」ということは本当だ
事実7: 仮にその競走能力が空回りしないならばあの搾取は忌ま忌ましいししかも風任せである
事実8: そのオイルディスクは風任せだ
事実9: もしもその競走能力は風任せだということはなくて得られ易くないなら小規模農家だ
事実10: そのオイルディスクは聞かす
事実11: もしそのオイルディスクは得られ易くないししかも風任せでないならば「それは小規模農家である」ということは正しい
事実12: もし何かは風任せであるということはないしそれに得られ易くないとすればそれは忌ま忌ましい
事実13: その競走能力が忌ま忌ましいならそのオイルディスクは得られ易い
事実14: その軌道運動は得られ易い
事実15: もしもその競走能力が風任せであるとしたらそのオイルディスクは得られ易くないしさらに小規模農家でない
事実16: もしも得られ易い物が小規模農家でないとすればそれは忌ま忌ましい

仮説: 「もし仮にその競走能力が風任せであるとしたらそのオイルディスクは忌ま忌ましい」ということは成り立たない
1. 仮定1: 以下のように仮定する。その競走能力は風任せだ
2. 事実15と仮定1から、推論1: "そのオイルディスクは得られ易くないし加えて小規模農家でない"が導かれる
3. 事実6から、推論2: "そのオイルディスクが得られ易いということはないし更に小規模農家だということはないならば忌ま忌ましい"が導かれる
4. 推論1と推論2から、推論3: "そのオイルディスクは忌ま忌ましい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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