その核兵器開発は抜け出るということはない
fact1: その成分組成は抜け出る fact2: もしなにかは抜け出ないかまたはブランドらしいかまたは両方であるならば「それは抜け出ない」ということは確かである fact3: その核兵器開発は抜け出る fact4: あの御宇が柔らかいということはないとすればその核兵器開発は抜け出ないかあるいはブランドらしいかまたは両方である
fact3 -> hypothesis;
fact3 -> hypothesis;
その核兵器開発は抜け出るということはない
fact5 -> int1: もし仮にその核兵器開発が抜け出ないかそれがブランドらしいとしたらそれは抜け出ない;
$facts$ = fact1: その成分組成は抜け出る fact2: もしなにかは抜け出ないかまたはブランドらしいかまたは両方であるならば「それは抜け出ない」ということは確かである fact3: その核兵器開発は抜け出る fact4: あの御宇が柔らかいということはないとすればその核兵器開発は抜け出ないかあるいはブランドらしいかまたは両方である ; $hypothesis$ = その核兵器開発は抜け出るということはない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その成分組成は抜け出る
事実2: もしなにかは抜け出ないかまたはブランドらしいかまたは両方であるならば「それは抜け出ない」ということは確かである
事実3: その核兵器開発は抜け出る
事実4: あの御宇が柔らかいということはないとすればその核兵器開発は抜け出ないかあるいはブランドらしいかまたは両方である

仮説: その核兵器開発は抜け出るということはない
1. 事実3から、仮説が否定される

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