「「高炉スラグだし更に軽量でない」ということは真実な」ものはある
fact1: あの過大は高炉スラグであるけれど軽量でない
$facts$ = fact1: あの過大は高炉スラグであるけれど軽量でない ; $hypothesis$ = 「「高炉スラグだし更に軽量でない」ということは真実な」ものはある ; $proof$ = 
事実1: あの過大は高炉スラグであるけれど軽量でない

仮説: 「「高炉スラグだし更に軽量でない」ということは真実な」ものはある