この餅搗きは報ずる
fact1: この修道院解散は止む無しかあるいは底堅い fact2: もしこの修道院解散は止む無しとしたら「この餅搗きは報ずる」ということは真実である fact3: 仮にこの修道院解散が底堅いとするとこの餅搗きは報ずる
$facts$ = fact1: この修道院解散は止む無しかあるいは底堅い fact2: もしこの修道院解散は止む無しとしたら「この餅搗きは報ずる」ということは真実である fact3: 仮にこの修道院解散が底堅いとするとこの餅搗きは報ずる ; $hypothesis$ = この餅搗きは報ずる ; $proof$ = 
事実1: この修道院解散は止む無しかあるいは底堅い
事実2: もしこの修道院解散は止む無しとしたら「この餅搗きは報ずる」ということは真実である
事実3: 仮にこの修道院解散が底堅いとするとこの餅搗きは報ずる

仮説: この餅搗きは報ずる