Sierra's Being Hearty Is a Necessary Condition for Both Coors's

Multiple Choice

Sierra's being hearty is a necessary condition for both Coors's being smooth and Harp's being crisp; moreover, Guinness is dark if and only if Alaskan's being sweet implies that Beck's is subtle.

A) [S ⊃ (C • H) ] • [G ≡ (B ⊃ A) ]
B) [S ⊃ (C • H) ] • [G ≡ (A ⊃ B) ]
C) [(C • H) ⊃ S] • [G ≡ (A ⊃ B) ]
D) [(C • H) ⊃ S] ∨ [G ≡ (A ⊃B) ]
E) [(C • H) ⊃ S] • [G ⊃ (A ⊃B) ]