「あの時価発行増資は限り無し」ということは本当である
fact1: ハイエンド向けは限り無し fact2: あの時価発行増資は限り無し
fact2 -> hypothesis;
fact2 -> hypothesis;
その八百万人は限り無し
fact3 -> int1: 仮にその八百万人がハイエンド向けならばそれは限り無し;
$facts$ = fact1: ハイエンド向けは限り無し fact2: あの時価発行増資は限り無し ; $hypothesis$ = 「あの時価発行増資は限り無し」ということは本当である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: ハイエンド向けは限り無し
事実2: あの時価発行増資は限り無し

仮説: 「あの時価発行増資は限り無し」ということは本当である
1. 事実2から、仮説が導かれる

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