Select the Best Translation into Predicate Logic

Multiple Choice

select the best translation into predicate logic.
-If some idealists are not skeptics then not all theists are rationalists.

A) (∃x) (Ix • ∼Sx) ⊃ ∼(∀x) (Tx ⊃ Rx)
B) (∃x) (Ix • ∼Sx) ⊃ (∀x) (Tx ⊃ ∼Rx)
C) (∃x) (Ix • ∼Sx) ⊃ ∼(∀x) ∼(Tx ⊃ Rx)
D) (∃x) (Ix • ∼Sx) ⊃ ∼(∃x) (Tx • Rx)