Translate the following inference to logic notation: If Jennifer makes tea, then Barbara is rich. Jennifer is not sleeping or Jessica is playing tennis. If Jessica plays tennis, then Barbara is rich. Jennifer is sleeping or Jennifer is making tea. For all x, x_9 is sad. Therefore Elisabeth is sad and Barbara is rich.
p -> q. ~r or s. s -> q. r or p. forall x: P(x). Therefore P(a) and q.