あの拉致問題は良くない
fact1: 親らしくない物は第三世界でないけれどだらし無い fact2: もしもこの価格変動リスクが左右し得ないけれどだらし無いならあの拉致問題は千九百九十六年度である fact3: 千九百九十六年度は良いけれど親らしいということはない fact4: 仮にこの価格変動リスクが左右し得るししかもだらし無いならばあの拉致問題は千九百九十六年度である fact5: この価格変動リスクは左右し得ないけどだらし無い
fact2 & fact5 -> int1: あの拉致問題は千九百九十六年度だ; fact3 -> int2: 仮に「あの拉致問題は千九百九十六年度だ」ということは成り立つならそれは良いししかも親らしくない; int1 & int2 -> int3: あの拉致問題は良いけれど親らしくない; int3 -> hypothesis;
この価格変動リスクは第三世界でないけどだらし無い
fact6 -> int4: 仮にこの価格変動リスクが親らしいということはないとしたらそれは第三世界でないがだらし無い;
$facts$ = fact1: 親らしくない物は第三世界でないけれどだらし無い fact2: もしもこの価格変動リスクが左右し得ないけれどだらし無いならあの拉致問題は千九百九十六年度である fact3: 千九百九十六年度は良いけれど親らしいということはない fact4: 仮にこの価格変動リスクが左右し得るししかもだらし無いならばあの拉致問題は千九百九十六年度である fact5: この価格変動リスクは左右し得ないけどだらし無い ; $hypothesis$ = あの拉致問題は良くない ; $proof$ = 
fact2 & fact5 -> int1: あの拉致問題は千九百九十六年度だ; fact3 -> int2: 仮に「あの拉致問題は千九百九十六年度だ」ということは成り立つならそれは良いししかも親らしくない; int1 & int2 -> int3: あの拉致問題は良いけれど親らしくない; int3 -> hypothesis; __DISPROVED__
事実1: 親らしくない物は第三世界でないけれどだらし無い
事実2: もしもこの価格変動リスクが左右し得ないけれどだらし無いならあの拉致問題は千九百九十六年度である
事実3: 千九百九十六年度は良いけれど親らしいということはない
事実4: 仮にこの価格変動リスクが左右し得るししかもだらし無いならばあの拉致問題は千九百九十六年度である
事実5: この価格変動リスクは左右し得ないけどだらし無い

仮説: あの拉致問題は良くない
1. 事実2と事実5から、推論1: "あの拉致問題は千九百九十六年度だ"が導かれる
2. 事実3から、推論2: "仮に「あの拉致問題は千九百九十六年度だ」ということは成り立つならそれは良いししかも親らしくない"が導かれる
3. 推論1と推論2から、推論3: "あの拉致問題は良いけれど親らしくない"が導かれる
4. 推論3から、仮説が否定される

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