「あの内視鏡は鍛冶職人だということはない」ということは真実だ
fact1: あの内視鏡は鍛冶職人でないししかもそれは調査出来ない
$facts$ = fact1: あの内視鏡は鍛冶職人でないししかもそれは調査出来ない ; $hypothesis$ = 「あの内視鏡は鍛冶職人だということはない」ということは真実だ ; $proof$ = 
事実1: あの内視鏡は鍛冶職人でないししかもそれは調査出来ない

仮説: 「あの内視鏡は鍛冶職人だということはない」ということは真実だ