あのフォーマットメニューは誘拐しない
fact1: 仮にその申し込み者等は傭兵部隊だとすれば「あのフォーマットメニューは誘拐する」ということは確かだ fact2: その申し込み者等は傭兵部隊である
$facts$ = fact1: 仮にその申し込み者等は傭兵部隊だとすれば「あのフォーマットメニューは誘拐する」ということは確かだ fact2: その申し込み者等は傭兵部隊である ; $hypothesis$ = あのフォーマットメニューは誘拐しない ; $proof$ = 
事実1: 仮にその申し込み者等は傭兵部隊だとすれば「あのフォーマットメニューは誘拐する」ということは確かだ
事実2: その申し込み者等は傭兵部隊である

仮説: あのフォーマットメニューは誘拐しない