Translate the following inference to logic notation: It is not raining. Richard is not a lawyer or Jessica is a server. Richard is a lawyer or John is playing tennis. If John plays tennis, then Sarah is sad. James is a janitor if and only if it is raining. If Jessica were a server, then Sarah is sad. Therefore James is not a janitor and Sarah is sad.
~p. ~q or r. q or s. s -> t. u <-> p. r -> t. Therefore ~u and t.