この氷島は狭しし厳しい
fact1: この氷島は生み出せる fact2: あの両岸関係は狭し fact3: この氷島は厳しい fact4: 「この氷島は狭しない」ということは誤っている
fact4 & fact3 -> hypothesis;
$facts$ = fact1: この氷島は生み出せる fact2: あの両岸関係は狭し fact3: この氷島は厳しい fact4: 「この氷島は狭しない」ということは誤っている ; $hypothesis$ = この氷島は狭しし厳しい ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: この氷島は生み出せる
事実2: あの両岸関係は狭し
事実3: この氷島は厳しい
事実4: 「この氷島は狭しない」ということは誤っている

仮説: この氷島は狭しし厳しい
1. 事実4と事実3から、仮説が導かれる

よって、仮説が証明されました。