Translate the following inference to logic notation: For all x, y is an office clerk if and only if y is a musician. For all x, y is a musician and y will write a letter. Therefore Karen is an office clerk.
forall x: P(x) <-> Q(x). forall x: Q(x) and R(x). Therefore P(a).