そのＩＰＦ株は等し
fact1: 「あの鉱山技師は与える」ということは事実である fact2: もしもあの鉱山技師が与えるとすればそのＩＰＦ株は等し fact3: 「この大番は与える」ということは事実である
$facts$ = fact1: 「あの鉱山技師は与える」ということは事実である fact2: もしもあの鉱山技師が与えるとすればそのＩＰＦ株は等し fact3: 「この大番は与える」ということは事実である ; $hypothesis$ = そのＩＰＦ株は等し ; $proof$ = 
事実1: 「あの鉱山技師は与える」ということは事実である
事実2: もしもあの鉱山技師が与えるとすればそのＩＰＦ株は等し
事実3: 「この大番は与える」ということは事実である

仮説: そのＩＰＦ株は等し