その上記Ａは法的手続きだ
fact1: その上記Ａはハイジャックする fact2: もしもその上記Ａがハイジャックするとしたらそれは法的手続きである
$facts$ = fact1: その上記Ａはハイジャックする fact2: もしもその上記Ａがハイジャックするとしたらそれは法的手続きである ; $hypothesis$ = その上記Ａは法的手続きだ ; $proof$ = 
事実1: その上記Ａはハイジャックする
事実2: もしもその上記Ａがハイジャックするとしたらそれは法的手続きである

仮説: その上記Ａは法的手続きだ