「「関与出来ないとすれば二軒隣りでない」物はある」ということは成り立たない
fact1: 「関与出来るとすれば二軒隣りであるということはない」ものはある fact2: あの沿岸国が関与出来ないとすれば二軒隣りだ fact3: もしあの沿岸国が関与出来ないなら二軒隣りでない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「関与出来るとすれば二軒隣りであるということはない」ものはある fact2: あの沿岸国が関与出来ないとすれば二軒隣りだ fact3: もしあの沿岸国が関与出来ないなら二軒隣りでない ; $hypothesis$ = 「「関与出来ないとすれば二軒隣りでない」物はある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「関与出来るとすれば二軒隣りであるということはない」ものはある
事実2: あの沿岸国が関与出来ないとすれば二軒隣りだ
事実3: もしあの沿岸国が関与出来ないなら二軒隣りでない

仮説: 「「関与出来ないとすれば二軒隣りでない」物はある」ということは成り立たない
1. 事実3から、仮説が否定される

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