「この知的遺産は綴り込むけど取り替えない」ということは確かでない
fact1: それは綴り込む一方で取り替えるということはないというものはない
$facts$ = fact1: それは綴り込む一方で取り替えるということはないというものはない ; $hypothesis$ = 「この知的遺産は綴り込むけど取り替えない」ということは確かでない ; $proof$ = 
事実1: それは綴り込む一方で取り替えるということはないというものはない

仮説: 「この知的遺産は綴り込むけど取り替えない」ということは確かでない