Select the Best Translation into Predicate Logic, Using the Following $\lor$

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
-All lions and tigers are larger than some cheetahs, but not faster than all cheetahs.

A) (∀x) (∀y) {(Lx • Ty) ⊃ (∃z) [(Cz • Lxz) • Lyz]} • ~(∀x) (∀y) (∀z) (Fxz • Fyz)
B) ~(∃x) {Cx • (∀y) [(Ly $\lor$ Ty) ⊃ (Fxy • Lyx) ]}
C) (∀x) {(Lx $\lor$ Tx) ⊃ ~(∃y) [Cy • (Fyx • Lxy) ]}
D) (∃x) {Cx ⊃ (∀y) (∀z) [(Ly . Tz) ⊃ (~Fxy . ~Lzx) ]}
E) (∀x) {(Lx $\lor$ Tx) ⊃ [(∃y) (Cy • Lxy) • ∼(∀y) (Cy ⊃ Fxy) ]}