Translate the following inference to logic notation: It is cloudy if and only if Thomas is a server. If it is not cloudy, then Elisabeth is writing a letter. Thomas is not a server. For all x, x_9 is excited. Therefore Karen is excited and Elisabeth is writing a letter.
p <-> q. ~p -> r. ~q. forall x: P(x). Therefore P(a) and r.