Translate the following inference to logic notation: If Patricia plays tennis, then it is overcast. If Susan were a mechanic, then Linda is a server. If it is overcast, then Susan is a mechanic. If Linda were a server, then it is overcast. Therefore if Patricia plays tennis, then Linda is a server.
p -> q. r -> s. q -> r. s -> q. Therefore p -> s.