あの高級機は揺るぎない
fact1: もしあの高級機は納得し難いかもしくは持ち易いならば「それは揺るぎなくない」ということは確かだ fact2: あの高級機は納得し難いか持ち易い
$facts$ = fact1: もしあの高級機は納得し難いかもしくは持ち易いならば「それは揺るぎなくない」ということは確かだ fact2: あの高級機は納得し難いか持ち易い ; $hypothesis$ = あの高級機は揺るぎない ; $proof$ = 
事実1: もしあの高級機は納得し難いかもしくは持ち易いならば「それは揺るぎなくない」ということは確かだ
事実2: あの高級機は納得し難いか持ち易い

仮説: あの高級機は揺るぎない