「その千九百五十年頃は説明し為さる」ということは成り立つ
fact1: もしこの安全確認が刺し貫かないがしかしそれは通天だとすると「その千九百五十年頃は説明し為さらない」ということは成り立つ fact2: この安全確認は刺し貫かないがしかし通天である
$facts$ = fact1: もしこの安全確認が刺し貫かないがしかしそれは通天だとすると「その千九百五十年頃は説明し為さらない」ということは成り立つ fact2: この安全確認は刺し貫かないがしかし通天である ; $hypothesis$ = 「その千九百五十年頃は説明し為さる」ということは成り立つ ; $proof$ = 
事実1: もしこの安全確認が刺し貫かないがしかしそれは通天だとすると「その千九百五十年頃は説明し為さらない」ということは成り立つ
事実2: この安全確認は刺し貫かないがしかし通天である

仮説: 「その千九百五十年頃は説明し為さる」ということは成り立つ