Translate the following inference to logic notation: If Joseph sleeps, then Linda is cooking. For all x, if x_10 goes running, then x_10 is sleeping. For all x, if x_10 sleeps, then x_10 is running. Therefore if Joseph goes running, then Linda is cooking.
P(a) -> p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore Q(a) -> p.