A（∀x）（Bx→Gx）B（∀x）（Bx→～Gx）C（$x）（Bx∧Gx）D（$x）（Bx∧～Gx）