Translate the following inference to logic notation: For all x, x_18 is an office clerk. Thomas is running and it is cold. If David were an office clerk, then Richard is driving a car. Therefore Thomas is running and Richard is driving a car.
forall x: P(x). p and q. P(a) -> r. Therefore p and r.