「仮にその実体性は物凄ーいということはないとしたら「その実体性は地表近くでないし更に開発中でない」ということは誤っている」ということは確かであるということはない
fact1: 仮に何らかのものは物凄ーくないとしたら「地表近くでないしそれは開発中だということはない」ということは成り立つということはない
$facts$ = fact1: 仮に何らかのものは物凄ーくないとしたら「地表近くでないしそれは開発中だということはない」ということは成り立つということはない ; $hypothesis$ = 「仮にその実体性は物凄ーいということはないとしたら「その実体性は地表近くでないし更に開発中でない」ということは誤っている」ということは確かであるということはない ; $proof$ = 
事実1: 仮に何らかのものは物凄ーくないとしたら「地表近くでないしそれは開発中だということはない」ということは成り立つということはない

仮説: 「仮にその実体性は物凄ーいということはないとしたら「その実体性は地表近くでないし更に開発中でない」ということは誤っている」ということは確かであるということはない