「あの地方版は金庫検査でない」ということは事実である
fact1: あの地方版は自己弁護で加えて金庫検査だ
$facts$ = fact1: あの地方版は自己弁護で加えて金庫検査だ ; $hypothesis$ = 「あの地方版は金庫検査でない」ということは事実である ; $proof$ = 
事実1: あの地方版は自己弁護で加えて金庫検査だ

仮説: 「あの地方版は金庫検査でない」ということは事実である