Translate the following inference to logic notation: For all x, x_20 is a politician and x_20 will go running. For all x, x_9 is a writer. Therefore Linda is a writer and Patricia is a politician.
forall x: P(x) and Q(x). forall x: R(x). Therefore R(a) and P(b).