Translate the following inference to logic notation: If Sarah were a sailor, then Patricia is listening to a song. If it rains, then John is an office clerk. It is raining. If John were an office clerk, then Sarah is a sailor. Therefore Patricia is listening to a song.
p -> q. r -> s. r. s -> p. Therefore q.