あのエリートクラスは切り離し難くないかあるいは気高くないかまたはどちらもである
fact1: もし「あのエリートクラスは通船だ」ということは間違いであるということはないとすれば「切り離し難くないかあるいは気高いということはないか両方ともである」ということは成り立つということはない fact2: あのエリートクラスは通船である
$facts$ = fact1: もし「あのエリートクラスは通船だ」ということは間違いであるということはないとすれば「切り離し難くないかあるいは気高いということはないか両方ともである」ということは成り立つということはない fact2: あのエリートクラスは通船である ; $hypothesis$ = あのエリートクラスは切り離し難くないかあるいは気高くないかまたはどちらもである ; $proof$ = 
事実1: もし「あのエリートクラスは通船だ」ということは間違いであるということはないとすれば「切り離し難くないかあるいは気高いということはないか両方ともである」ということは成り立つということはない
事実2: あのエリートクラスは通船である

仮説: あのエリートクラスは切り離し難くないかあるいは気高くないかまたはどちらもである