Translate the following inference to logic notation: If Jennifer were an office clerk, then Jennifer is a musician. If it rains, then Jennifer is an office clerk. If it is cold, then Jennifer is a musician. If Jennifer were a musician, then it is raining. Therefore if it is cold, then Jennifer is an office clerk.
p -> q. r -> p. s -> q. q -> r. Therefore s -> p.