Select the Best Translation into Predicate Logic, Using the Following

Multiple Choice

select the best translation into predicate logic, using the following translation key:
Cx: x is a cheetah
Lx: x is a lion
Tx: x is a tiger
Fxy: x is faster than y
Lxy: x is larger than y
-Any lion larger than all cheetahs is not faster than any tiger.

A) (∀x) {[Lx ⊃ (∀y) (Lxy ⊃ Cx) ] ⊃ ~(∃y) (Ty • Fxy) }
B) (∀x) {Tx ⊃ ~(∃y) [(Ly • Lxy) • (∀z) (Cz ⊃ Fxz) ]}
C) (∀x) {[Lx • (∀y) (Cx ⊃ Lxy) ] ⊃ ∼(∃y) (Ty • Fxy) }
D) (∀x) {[Lx ⊃ (∀y) (Cy ⊃ Lxy) ] ⊃ (∀y) (Ty ⊃ ~Fxy) }
E) (∀x) {[Lx • (∀y) (Cx • Lyx) ] ⊃ ~(∃y) (Ty ⊃ ~Fxy) }