「「もしも世界情勢でないなら「ＩＳＳである」ということは確かである」ものはある」ということは間違いである
fact1: 「もし世界情勢だとすれば「ＩＳＳでない」ということは偽である」物はある fact2: その修繕は世界情勢でないとしたらＩＳＳだ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 「もし世界情勢だとすれば「ＩＳＳでない」ということは偽である」物はある fact2: その修繕は世界情勢でないとしたらＩＳＳだ ; $hypothesis$ = 「「もしも世界情勢でないなら「ＩＳＳである」ということは確かである」ものはある」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「もし世界情勢だとすれば「ＩＳＳでない」ということは偽である」物はある
事実2: その修繕は世界情勢でないとしたらＩＳＳだ

仮説: 「「もしも世界情勢でないなら「ＩＳＳである」ということは確かである」ものはある」ということは間違いである
1. 事実2から、仮説が否定される

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