Translate the following inference to logic notation: Elisabeth is not rich. If it rains, then Linda is sleeping. If Elisabeth were rich, then Linda is sleeping. If Linda sleeps, then Elisabeth is rich. Therefore it is not raining.
~p. q -> r. p -> r. r -> p. Therefore ~q.