「このＰＫＣＳは反映され易い一方でそれは切開孔であるということはない」ということは確かだ
fact1: 仮にあの小版形は第二鉱業所であるとしたら「このＰＫＣＳは反映され易い一方でそれは切開孔でない」ということは成り立たない fact2: 「あの小版形は第二鉱業所である」ということは成り立つ
$facts$ = fact1: 仮にあの小版形は第二鉱業所であるとしたら「このＰＫＣＳは反映され易い一方でそれは切開孔でない」ということは成り立たない fact2: 「あの小版形は第二鉱業所である」ということは成り立つ ; $hypothesis$ = 「このＰＫＣＳは反映され易い一方でそれは切開孔であるということはない」ということは確かだ ; $proof$ = 
事実1: 仮にあの小版形は第二鉱業所であるとしたら「このＰＫＣＳは反映され易い一方でそれは切開孔でない」ということは成り立たない
事実2: 「あの小版形は第二鉱業所である」ということは成り立つ

仮説: 「このＰＫＣＳは反映され易い一方でそれは切開孔であるということはない」ということは確かだ