この搾り汁は山分けする
fact1: もしそのインデックス運用がでぶならばこの搾り汁は山分けする fact2: そのインデックス運用はでぶだ fact3: そのインデックス運用がでぶだし加えて山分けするとするとこの搾り汁は山分けしない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
この搾り汁は山分けしない
$facts$ = fact1: もしそのインデックス運用がでぶならばこの搾り汁は山分けする fact2: そのインデックス運用はでぶだ fact3: そのインデックス運用がでぶだし加えて山分けするとするとこの搾り汁は山分けしない ; $hypothesis$ = この搾り汁は山分けする ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしそのインデックス運用がでぶならばこの搾り汁は山分けする
事実2: そのインデックス運用はでぶだ
事実3: そのインデックス運用がでぶだし加えて山分けするとするとこの搾り汁は山分けしない

仮説: この搾り汁は山分けする
1. 事実1と事実2から、仮説が導かれる

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