Translate the following inference to logic notation: If Jessica goes running, then Linda is not making tea. For all x, z_3 will make tea. Therefore Jessica is not running or James is a sailor.
p -> ~P(a). forall x: P(x). Therefore ~p or q.