あの信用保証は八丈実記でない
fact1: あの信用保証は虹天剣でない fact2: あの信用保証は虹天剣でないとするとそれは八丈実記だ
$facts$ = fact1: あの信用保証は虹天剣でない fact2: あの信用保証は虹天剣でないとするとそれは八丈実記だ ; $hypothesis$ = あの信用保証は八丈実記でない ; $proof$ = 
事実1: あの信用保証は虹天剣でない
事実2: あの信用保証は虹天剣でないとするとそれは八丈実記だ

仮説: あの信用保証は八丈実記でない