「七百七十四Ｒであるし加えて呼び易くないならば平仮名な」物はある
fact1: 何かは七百七十四Ｒだが呼び易くないとすると平仮名である
fact1 -> int1: 「もし仮にこの株主持分が七百七十四Ｒだが呼び易くないならこの株主持分は平仮名だ」ということは本当である; int1 -> hypothesis;
$facts$ = fact1: 何かは七百七十四Ｒだが呼び易くないとすると平仮名である ; $hypothesis$ = 「七百七十四Ｒであるし加えて呼び易くないならば平仮名な」物はある ; $proof$ = 
fact1 -> int1: 「もし仮にこの株主持分が七百七十四Ｒだが呼び易くないならこの株主持分は平仮名だ」ということは本当である; int1 -> hypothesis; __PROVED__
事実1: 何かは七百七十四Ｒだが呼び易くないとすると平仮名である

仮説: 「七百七十四Ｒであるし加えて呼び易くないならば平仮名な」物はある
1. 事実1から、推論1: "「もし仮にこの株主持分が七百七十四Ｒだが呼び易くないならこの株主持分は平仮名だ」ということは本当である"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。