Translate the Given Paragraphs into Arguments Written in F, Using

Essay

translate the given paragraphs into arguments written in F, using identity and the given translation key. Then, derive their conclusions using the rules of inference for F, including the rules for identity.
-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)