「あの八重山料理は明礬である」ということは本当である
fact1: あの八重山料理は出来難い fact2: もしもあの八重山料理が出来難いとしたら明礬だ
$facts$ = fact1: あの八重山料理は出来難い fact2: もしもあの八重山料理が出来難いとしたら明礬だ ; $hypothesis$ = 「あの八重山料理は明礬である」ということは本当である ; $proof$ = 
事実1: あの八重山料理は出来難い
事実2: もしもあの八重山料理が出来難いとしたら明礬だ

仮説: 「あの八重山料理は明礬である」ということは本当である