あの鉄工所は研削である
fact1: 仮に「「本出しである」ということは正しい」物があるとするとあの鉄工所は研削である fact2: 「本出しである」ものはある
$facts$ = fact1: 仮に「「本出しである」ということは正しい」物があるとするとあの鉄工所は研削である fact2: 「本出しである」ものはある ; $hypothesis$ = あの鉄工所は研削である ; $proof$ = 
事実1: 仮に「「本出しである」ということは正しい」物があるとするとあの鉄工所は研削である
事実2: 「本出しである」ものはある

仮説: あの鉄工所は研削である