Translate the following inference to logic notation: If Jennifer goes running, then Patricia is working. If James were a police officer, then Jennifer is running. For all x, x_12 will not work. If Patricia works, then James is a police officer. Therefore Jennifer is not running.
p -> P(a). q -> p. forall x: ~P(x). P(a) -> q. Therefore ~p.