Translate the following inference to logic notation: If Charles works, then Mary is making tea. For all x, if x_14 were a police officer, then x_14 is making tea. Mary is a police officer or Charles is working. Therefore Mary is making tea or Linda is a carpenter.
p -> P(a). forall x: Q(x) -> P(x). Q(a) or p. Therefore P(a) or q.