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).
-After-school activities running late entails that the buses will run late. The buses running late is a sufficient condition for either Carlos and Deandra getting home late or Edna missing dinner. Either after-school activities run late but Carlos doesn't get home late, or after-school activities run late but Deandra doesn't get home late. So, Edna misses dinner.