「その最終電車は生じる」ということは成り立つ
fact1: もしこの大門が財産相続だとすればその最終電車は生じる fact2: この大門は財産相続だ
$facts$ = fact1: もしこの大門が財産相続だとすればその最終電車は生じる fact2: この大門は財産相続だ ; $hypothesis$ = 「その最終電車は生じる」ということは成り立つ ; $proof$ = 
事実1: もしこの大門が財産相続だとすればその最終電車は生じる
事実2: この大門は財産相続だ

仮説: 「その最終電車は生じる」ということは成り立つ