All Cheetahs Are Faster Than Some Tigers

All cheetahs are faster than some tigers. Everything is striped if, and only if, it is a tiger. So, if some things are cheetahs, then some things have stripes. (Cx: x is a cheetah; Tx: x is a tiger; Sx: x has stripes; Fxy: x is faster than y)
-Which of the following is the best translation into F of this argument?

A) 1. (∀x) [Cx ⊃ (∃y) (Ty • Fyx) ] 2. (∀x) [(Sx ⊃ Tx) • (Tx ⊃ Sx) ] / (∃x) Cx ⊃ (∃x) Sx
B) 1. (∀x) (∃y) [Cx • (Ty • Fxy) ] 2. (∀x) Sx ≡ (∀x) Tx / (∃x) Cx ⊃ (∃x) Sx
C) 1. (∀x) [Cx ⊃ (∃y) (Ty • Fxy) ] 2. (∀y) (Sy ≡ Ty) / (∃x) Cx ⊃ (∃x) Sx
D) 1. (∀x) [Cx ⊃ (∃y) (Ty • Fyx) ] 2. (∀x) (Sx ≡ Tx) / (∃x) (Cx ⊃ Sx)
E) 1. (∀x) [(∀y) (Fxy • Ty) ⊃ Cx] 2. (∀x) (Sx ⊃ Tx) • (∀x) (Tx ⊃ Sx) / (∃x) (Cx ⊃ Sx)