Translate the following inference to logic notation: If Mary drinks water, then Linda is a nurse. For all x, if x_23 were poor, then x_23 is a nurse. If Linda writes a letter, then Linda is not a nurse. Linda is poor or Mary is drinking water. Therefore Linda is not writing a letter or it is overcast.
p -> P(a). forall x: Q(x) -> P(x). q -> ~P(a). Q(a) or p. Therefore ~q or r.