その聚楽台は輝かしい
fact1: 「その聚楽台は千九百九十七年度であるが標示しない」ということは誤っていれば「それは輝かしい」ということは真実である fact2: 「その聚楽台は千九百九十七年度だ一方で標示しない」ということは誤っている
$facts$ = fact1: 「その聚楽台は千九百九十七年度であるが標示しない」ということは誤っていれば「それは輝かしい」ということは真実である fact2: 「その聚楽台は千九百九十七年度だ一方で標示しない」ということは誤っている ; $hypothesis$ = その聚楽台は輝かしい ; $proof$ = 
事実1: 「その聚楽台は千九百九十七年度であるが標示しない」ということは誤っていれば「それは輝かしい」ということは真実である
事実2: 「その聚楽台は千九百九十七年度だ一方で標示しない」ということは誤っている

仮説: その聚楽台は輝かしい