Use the Following Key to Determine Which of the Translations

use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Gödel is a platonist, then Frege is a logicist. If Frege is a logicist, Brouwer being an intuitionist is a sufficient condition for Hilbert being a formalist. Gödel is a platonist. Gödel is a platonist if Hilbert is a formalist. Therefore, Gödel is a platonist if Brouwer is an intuitionist.

A) G ⊃ F
F ⊃ (B ≡ H)
G
H ⊃ G / B ⊃ G
B) G ⊃ F
F ⊃ (B ≡ H)
G
G ⊃ H / G ⊃ B
C) G ⊃ F
F ⊃ (H ⊃ B)
G
H ⊃ G / B ⊃ G
D) G ⊃ F F ⊃ (B ⊃ H)
G
H ⊃ G / B ⊃ G
E) G ⊃ F F ⊃ (B ⊃ H)
G
G ⊃ H / G ⊃ B