この司法警察はしかとする
fact1: その松代藩庁文書は痒い fact2: もしもその松代藩庁文書が痒いならばあの司法警察はしかとする
$facts$ = fact1: その松代藩庁文書は痒い fact2: もしもその松代藩庁文書が痒いならばあの司法警察はしかとする ; $hypothesis$ = この司法警察はしかとする ; $proof$ = 
事実1: その松代藩庁文書は痒い
事実2: もしもその松代藩庁文書が痒いならばあの司法警察はしかとする

仮説: この司法警察はしかとする