Translate the following inference to logic notation: Susan is not an astronaut. If John were a server, then it is raining. It is not raining. Susan is an astronaut if and only if Sarah is excited. Therefore John is not a server and Sarah is not excited.
~p. q -> r. ~r. p <-> s. Therefore ~q and ~s.