Translate the following inference to logic notation: If Richard goes running, then Linda is drinking water. Linda is drinking water if and only if Richard is taking a plane. For all x, x_1 will take a plane. Therefore Linda is drinking water.
P(a) -> p. p <-> Q(a). forall x: Q(x). Therefore p.