あるものは行列だということはないけれどそれは及び難い
fact1: あのエルス句は行列であるということはない一方でそれは及び難い
$facts$ = fact1: あのエルス句は行列であるということはない一方でそれは及び難い ; $hypothesis$ = あるものは行列だということはないけれどそれは及び難い ; $proof$ = 
事実1: あのエルス句は行列であるということはない一方でそれは及び難い

仮説: あるものは行列だということはないけれどそれは及び難い