「「この移植片は高野聖でない一方で町村名だ」ということは本当だ」ということは成り立たない
fact1: この移植片はさもしい fact2: もしこの移植片はさもしいとしたら「高野聖でないしその上町村名である」ということは誤りである
$facts$ = fact1: この移植片はさもしい fact2: もしこの移植片はさもしいとしたら「高野聖でないしその上町村名である」ということは誤りである ; $hypothesis$ = 「「この移植片は高野聖でない一方で町村名だ」ということは本当だ」ということは成り立たない ; $proof$ = 
事実1: この移植片はさもしい
事実2: もしこの移植片はさもしいとしたら「高野聖でないしその上町村名である」ということは誤りである

仮説: 「「この移植片は高野聖でない一方で町村名だ」ということは本当だ」ということは成り立たない