Translate the Given Paragraphs into Arguments Written in M, Using

Essay

translate the given paragraphs into arguments written in M, using the given translation key. Then, derive their conclusions using the rules of inference for M.
-Things are pleasant if, and only if, they are not too crowded. Everything too crowded is noisy. So if something isn't noisy, then something is pleasant. (Cx: x is too crowded; Nx: x is noisy; Px: x is pleasant)