あの通辞は出家する
fact1: もし仮にあの通辞がハイジャックしないけれど制御棟であるならばそれは出家するということはない fact2: あの通辞はハイジャックするということはない一方で制御棟だ
$facts$ = fact1: もし仮にあの通辞がハイジャックしないけれど制御棟であるならばそれは出家するということはない fact2: あの通辞はハイジャックするということはない一方で制御棟だ ; $hypothesis$ = あの通辞は出家する ; $proof$ = 
事実1: もし仮にあの通辞がハイジャックしないけれど制御棟であるならばそれは出家するということはない
事実2: あの通辞はハイジャックするということはない一方で制御棟だ

仮説: あの通辞は出家する