Translate the Given Paragraphs into Arguments Written in PL

Essay

translate the given paragraphs into arguments written in PL. Then, derive their conclusions using the rules of inference from section 3.3 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN).
-If moral theories measure outcomes or consequences, then they do not concern duty. If trolley cases are compelling, then moral theories measure consequences. Moral theories concern duty. So, trolley cases are not compelling.