Translate the following inference to logic notation: If Jennifer were a police officer, then Richard is rich. If Linda were a server, then Richard is rich. If Linda were a server, then it is overcast. If Richard were rich, then Linda is a server. Therefore if Jennifer were a police officer, then it is overcast.
p -> q. r -> q. r -> s. q -> r. Therefore p -> s.