「「その岩穴は大人びないしまた高野聖だということはない」ということは真実である」ということは間違いだ
fact1: その岩穴が大人びないししかも高野聖であるということはない
$facts$ = fact1: その岩穴が大人びないししかも高野聖であるということはない ; $hypothesis$ = 「「その岩穴は大人びないしまた高野聖だということはない」ということは真実である」ということは間違いだ ; $proof$ = 
事実1: その岩穴が大人びないししかも高野聖であるということはない

仮説: 「「その岩穴は大人びないしまた高野聖だということはない」ということは真実である」ということは間違いだ