Translate the following inference to logic notation: Susan is a poet or it is late. For all x, if x_6 were a poet, then x_6 is writing a letter. If it is late, then Susan is a nurse. For all x, if x_6 writes a letter, then x_6 is a nurse. Therefore Susan is a nurse.
P(a) or p. forall x: P(x) -> Q(x). p -> R(a). forall x: Q(x) -> R(x). Therefore R(a).