「あのノックアウト・オプションは所有するしすげない」ということは成り立つということはない
fact1: あのノックアウト・オプションは入り辛いということはない fact2: もし仮にあのノックアウト・オプションが入り辛いということはないならば所有するしすげない
$facts$ = fact1: あのノックアウト・オプションは入り辛いということはない fact2: もし仮にあのノックアウト・オプションが入り辛いということはないならば所有するしすげない ; $hypothesis$ = 「あのノックアウト・オプションは所有するしすげない」ということは成り立つということはない ; $proof$ = 
事実1: あのノックアウト・オプションは入り辛いということはない
事実2: もし仮にあのノックアウト・オプションが入り辛いということはないならば所有するしすげない

仮説: 「あのノックアウト・オプションは所有するしすげない」ということは成り立つということはない