その多聞院日記は寄り掛かれるがしかしそれは登録制度でない
fact1: その多聞院日記は赤くない fact2: もしもその多聞院日記が赤くないならば寄り掛かれるしそれは登録制度でない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: その多聞院日記は赤くない fact2: もしもその多聞院日記が赤くないならば寄り掛かれるしそれは登録制度でない ; $hypothesis$ = その多聞院日記は寄り掛かれるがしかしそれは登録制度でない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: その多聞院日記は赤くない
事実2: もしもその多聞院日記が赤くないならば寄り掛かれるしそれは登録制度でない

仮説: その多聞院日記は寄り掛かれるがしかしそれは登録制度でない
1. 事実2と事実1から、仮説が導かれる

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