答えはズバリ
3 Bならば、Cでない
ですねっ!

(理由)
「Aであれば、Bである」
「Cでなければ、Dでない」

これより、A⊆B かつ C⊇D であることが分かるので・・・
・・・ああもうめんどい・・・