その管轄審査会は取っ組み合う
fact1: この蒸気河岸は帰属す fact2: もし仮に「あの会計簿は帰属す」ということは真実であるとすればあの管轄審査会は取っ組み合う fact3: あの会計簿は帰属す
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
$facts$ = fact1: この蒸気河岸は帰属す fact2: もし仮に「あの会計簿は帰属す」ということは真実であるとすればあの管轄審査会は取っ組み合う fact3: あの会計簿は帰属す ; $hypothesis$ = その管轄審査会は取っ組み合う ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: この蒸気河岸は帰属す
事実2: もし仮に「あの会計簿は帰属す」ということは真実であるとすればあの管轄審査会は取っ組み合う
事実3: あの会計簿は帰属す

仮説: その管轄審査会は取っ組み合う
1. 事実2と事実3から、仮説が導かれる

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