「「高度回遊性魚種でないなら生み難いということはない」ものはある」ということは成り立たない
fact1: このフランスワインが高度回遊性魚種でないとすればそれは生み難いということはない
$facts$ = fact1: このフランスワインが高度回遊性魚種でないとすればそれは生み難いということはない ; $hypothesis$ = 「「高度回遊性魚種でないなら生み難いということはない」ものはある」ということは成り立たない ; $proof$ = 
事実1: このフランスワインが高度回遊性魚種でないとすればそれは生み難いということはない

仮説: 「「高度回遊性魚種でないなら生み難いということはない」ものはある」ということは成り立たない