Translate the following inference to logic notation: Susan is not excited. If Elisabeth were a lawyer, then Susan is excited. If Elisabeth were a lawyer, then it is raining. If it rains, then Elisabeth is a lawyer. Therefore it is not raining.
~p. q -> p. q -> r. r -> q. Therefore ~r.