あの原人は外貨建て債権債務であるということはないがしかし詮無い
fact1: あの原人は外貨建て債権債務でないけれど詮無い
$facts$ = fact1: あの原人は外貨建て債権債務でないけれど詮無い ; $hypothesis$ = あの原人は外貨建て債権債務であるということはないがしかし詮無い ; $proof$ = 
事実1: あの原人は外貨建て債権債務でないけれど詮無い

仮説: あの原人は外貨建て債権債務であるということはないがしかし詮無い