この追放令は血腥い
fact1: あの当該国家は歩行者等である fact2: もしもあの当該国家が歩行者等だとしたらこの追放令は血腥い
$facts$ = fact1: あの当該国家は歩行者等である fact2: もしもあの当該国家が歩行者等だとしたらこの追放令は血腥い ; $hypothesis$ = この追放令は血腥い ; $proof$ = 
事実1: あの当該国家は歩行者等である
事実2: もしもあの当該国家が歩行者等だとしたらこの追放令は血腥い

仮説: この追放令は血腥い