この葉隠れは寄進する
fact1: この葉隠れは分子クラスターである fact2: この葉隠れは分子クラスターであるしその上寄進する
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: この葉隠れは分子クラスターである fact2: この葉隠れは分子クラスターであるしその上寄進する ; $hypothesis$ = この葉隠れは寄進する ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: この葉隠れは分子クラスターである
事実2: この葉隠れは分子クラスターであるしその上寄進する

仮説: この葉隠れは寄進する
1. 事実2から、仮説が導かれる

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