あの申し立ては白し
fact1: あの申し立ては白ししおまけにそれは鼎である fact2: 「あの申し立ては立ち上がる」ということは正しい fact3: あの旧工場は鼎だ fact4: もしあの申し立てが払い戻さないならこのプロ野球は鼎で白し
fact1 -> hypothesis;
このプロ野球は鼎だ
$facts$ = fact1: あの申し立ては白ししおまけにそれは鼎である fact2: 「あの申し立ては立ち上がる」ということは正しい fact3: あの旧工場は鼎だ fact4: もしあの申し立てが払い戻さないならこのプロ野球は鼎で白し ; $hypothesis$ = あの申し立ては白し ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの申し立ては白ししおまけにそれは鼎である
事実2: 「あの申し立ては立ち上がる」ということは正しい
事実3: あの旧工場は鼎だ
事実4: もしあの申し立てが払い戻さないならこのプロ野球は鼎で白し

仮説: あの申し立ては白し
1. 事実1から、仮説が導かれる

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