もし仮にこの垣間見が帆立貝であるけど理解し易くないとすれば三分割する
fact1: もしも帆立貝は理解し易くないとしたらそれは三分割する fact2: この垣間見が帆立貝であるしそれにそれが理解し易いとすればそれは三分割する fact3: 仮に帆立貝が理解し易いとするとそれは三分割する
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もしも帆立貝は理解し易くないとしたらそれは三分割する fact2: この垣間見が帆立貝であるしそれにそれが理解し易いとすればそれは三分割する fact3: 仮に帆立貝が理解し易いとするとそれは三分割する ; $hypothesis$ = もし仮にこの垣間見が帆立貝であるけど理解し易くないとすれば三分割する ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも帆立貝は理解し易くないとしたらそれは三分割する
事実2: この垣間見が帆立貝であるしそれにそれが理解し易いとすればそれは三分割する
事実3: 仮に帆立貝が理解し易いとするとそれは三分割する

仮説: もし仮にこの垣間見が帆立貝であるけど理解し易くないとすれば三分割する
1. 事実1から、仮説が導かれる

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