あの小足は酷いがしかし長距離ミサイルでない
fact1: もし「あの小足はＷＴＯ加盟後でなくて更に発生し易いということはない」ということは偽ならその練炭はＷＴＯ加盟後でない fact2: あの小足はＷＴＯ加盟後でない fact3: 仮にあの小足はＷＴＯ加盟後でないとすれば「酷いけれど長距離ミサイルでない」ということは成り立たない fact4: もしもこの石灰質は苛々し易くないなら「あの小足はＷＴＯ加盟後でないし発生し易くない」ということは間違っている
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
その練炭はＷＴＯ加盟後でない
$facts$ = fact1: もし「あの小足はＷＴＯ加盟後でなくて更に発生し易いということはない」ということは偽ならその練炭はＷＴＯ加盟後でない fact2: あの小足はＷＴＯ加盟後でない fact3: 仮にあの小足はＷＴＯ加盟後でないとすれば「酷いけれど長距離ミサイルでない」ということは成り立たない fact4: もしもこの石灰質は苛々し易くないなら「あの小足はＷＴＯ加盟後でないし発生し易くない」ということは間違っている ; $hypothesis$ = あの小足は酷いがしかし長距離ミサイルでない ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「あの小足はＷＴＯ加盟後でなくて更に発生し易いということはない」ということは偽ならその練炭はＷＴＯ加盟後でない
事実2: あの小足はＷＴＯ加盟後でない
事実3: 仮にあの小足はＷＴＯ加盟後でないとすれば「酷いけれど長距離ミサイルでない」ということは成り立たない
事実4: もしもこの石灰質は苛々し易くないなら「あの小足はＷＴＯ加盟後でないし発生し易くない」ということは間違っている

仮説: あの小足は酷いがしかし長距離ミサイルでない
1. 事実3と事実2から、仮説が否定される

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