「あの戦略的行動は甲乙協議しない」ということは真実である
fact1: あの戦略的行動は重役だということはないしおまけに毳立たないとすればそれは甲乙協議する fact2: 「あの戦略的行動は重役でなくて更にそれは毳立つということはない」ということは成り立つ
$facts$ = fact1: あの戦略的行動は重役だということはないしおまけに毳立たないとすればそれは甲乙協議する fact2: 「あの戦略的行動は重役でなくて更にそれは毳立つということはない」ということは成り立つ ; $hypothesis$ = 「あの戦略的行動は甲乙協議しない」ということは真実である ; $proof$ = 
事実1: あの戦略的行動は重役だということはないしおまけに毳立たないとすればそれは甲乙協議する
事実2: 「あの戦略的行動は重役でなくて更にそれは毳立つということはない」ということは成り立つ

仮説: 「あの戦略的行動は甲乙協議しない」ということは真実である