Translate the following inference to logic notation: If Jennifer writes a letter, then Joseph is sleeping. If Barbara goes running, then Linda is fast. If Joseph sleeps, then Linda is fast. If Linda were fast, then Barbara is running. Therefore if Jennifer writes a letter, then Barbara is running.
p -> q. r -> s. q -> s. s -> r. Therefore p -> r.