あの画像信号φは難破する
fact1: 仮に「この空ドックがショートブーツだけど手厳しくない」ということは誤りであるとすればあの画像信号φは難破する fact2: 「この空ドックはショートブーツだけど手厳しくない」ということは成り立つということはない
$facts$ = fact1: 仮に「この空ドックがショートブーツだけど手厳しくない」ということは誤りであるとすればあの画像信号φは難破する fact2: 「この空ドックはショートブーツだけど手厳しくない」ということは成り立つということはない ; $hypothesis$ = あの画像信号φは難破する ; $proof$ = 
事実1: 仮に「この空ドックがショートブーツだけど手厳しくない」ということは誤りであるとすればあの画像信号φは難破する
事実2: 「この空ドックはショートブーツだけど手厳しくない」ということは成り立つということはない

仮説: あの画像信号φは難破する