「あのベガは最適化する」ということは事実だ
fact1: もし仮にあの境域が初々しかないとしたらあのベガは最適化する fact2: あの境域は初々しいということはないか頼み難くないかあるいはどちらもである fact3: もしあの境域が頼み難くないならばあのベガは最適化する
$facts$ = fact1: もし仮にあの境域が初々しかないとしたらあのベガは最適化する fact2: あの境域は初々しいということはないか頼み難くないかあるいはどちらもである fact3: もしあの境域が頼み難くないならばあのベガは最適化する ; $hypothesis$ = 「あのベガは最適化する」ということは事実だ ; $proof$ = 
事実1: もし仮にあの境域が初々しかないとしたらあのベガは最適化する
事実2: あの境域は初々しいということはないか頼み難くないかあるいはどちらもである
事実3: もしあの境域が頼み難くないならばあのベガは最適化する

仮説: 「あのベガは最適化する」ということは事実だ