あの受信簿は見当たる
fact1: もしもあの受信簿が死因であるということはないし工芸品であるということはないとしたらそれは見当たる fact2: あの受信簿は死因でないししかも工芸品でない
$facts$ = fact1: もしもあの受信簿が死因であるということはないし工芸品であるということはないとしたらそれは見当たる fact2: あの受信簿は死因でないししかも工芸品でない ; $hypothesis$ = あの受信簿は見当たる ; $proof$ = 
事実1: もしもあの受信簿が死因であるということはないし工芸品であるということはないとしたらそれは見当たる
事実2: あの受信簿は死因でないししかも工芸品でない

仮説: あの受信簿は見当たる