Translate the following inference to logic notation: Elisabeth is a lawyer and Michael is happy. If Elisabeth were a lawyer, then David is a server. Elisabeth is sleeping. Therefore David is a server and Elisabeth is sleeping.
p and q. p -> r. s. Therefore r and s.