あの対角線上は空恐ろしい
fact1: 「あの対角線上は転がり込むがしかし宗像等でない」ということは成り立たない fact2: もし仮に「あの対角線上は転がり込むが宗像等だということはない」ということは誤っているとすれば「それは空恐ろしい」ということは真実だ
$facts$ = fact1: 「あの対角線上は転がり込むがしかし宗像等でない」ということは成り立たない fact2: もし仮に「あの対角線上は転がり込むが宗像等だということはない」ということは誤っているとすれば「それは空恐ろしい」ということは真実だ ; $hypothesis$ = あの対角線上は空恐ろしい ; $proof$ = 
事実1: 「あの対角線上は転がり込むがしかし宗像等でない」ということは成り立たない
事実2: もし仮に「あの対角線上は転がり込むが宗像等だということはない」ということは誤っているとすれば「それは空恐ろしい」ということは真実だ

仮説: あの対角線上は空恐ろしい