Translate the following inference to logic notation: If Linda sleeps, then Elisabeth is listening to a song. Thomas is a lawyer and it is raining. Linda is sleeping. Therefore Thomas is a lawyer.
p -> q. r and s. p. Therefore r.