Select the Best Translation into Predicate Logic, Using the Following

Multiple Choice

select the best translation into predicate logic, using the following translation key:
b: Bhavin
c: Chloe
m: Megha
n: Nietzsche
p: Plato
Ax: x is an altruist
Jx: x is joyful
Px: x is a philosopher
Rx: x is Russian
Tx: x is thoughtful
Bxy: x is a brother of y
Mxy: x mocks y
Rxy: x is richer than y
Sxy: x is smarter than y
-All thoughtful philosophers except Nietzsche are altruists.

A) (∀x) (Px • Tx • x≠n • Ax)
B) (∀x) [x≠n ⊃ (Px • Tx • Ax) ]
C) Pn • Tn • ∼An • (∀x) [(Px • Tx • x≠n) ⊃ Ax]
D) (∀x) [(Px • Tx • Ax) ⊃ x≠n]
E) Pn • Tn • ~An • (∀x) [(Px • Tx • Ax) ⊃ x≠n]