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
-No cheetahs that are larger than some tiger are faster than all lions or tigers.

A) ~(∃x) {[Cx • (∃y) (Ty • Lxy) ] • (∀y) [(Ly • Ty) ⊃ Fxy]}
B) ~(∃x) {[Cx • (∃y) (Ty • Fxy) ] • (∀y) [(Ly • Ty) ⊃ Lxy]}
C) (∀x) {[Cx • (∃y) (Ty • Lxy) ] ⊃ ∼(∀y) [(Ly $\lor$ Ty) ⊃ Fxy]}
D) ~(∃x) {[Cx ⊃ (∃y) (Ty • Lxy) ] • (∀y) ((Ly $\lor$ Ty) ⊃ Fxy]}
E) ~(∃x) {[Cx • (∃y) (Ty • Lxy) ] ⊃ ~(∀y) (Ly $\lor$ Ty) ⊃ Fxy]}