Translate the following inference to logic notation: Patricia is playing tennis or Jennifer is listening to a song. Patricia is not playing tennis. For all x, x_18 will sleep. Therefore Jennifer is listening to a song and Elisabeth is sleeping.
p or q. ~p. forall x: P(x). Therefore q and P(a).