The Virtue Ethicist Who Teaches Aristotle Does Not Publish on Moral

The virtue ethicist who teaches Aristotle does not publish on moral theory. Smith is a virtue ethicist who teaches Aristotle. Either one publishes on moral theory or one publishes on applied ethics. So, Smith publishes on applied ethics. (s: Smith; Ax: x publishes on applied ethics; Mx: x publishes on moral theory; Tx: is teaches Aristotle; Vx: x is a virtue ethicist)
-Which of the following propositions is an immediate (one-step) consequence in F of the given premises?

A) Vs • Ts • (∀y) [(Vy • Ty) ⊃ y=s] • ~Ms
B) Ms ≡ ~As
C) Ts • ~Ms
D) Vx • Tx
E) Ve • Te • (∀y) [(Vy • Ty) ⊃ y=e] • ∼Me