Translate the following inference to logic notation: Jessica is fast and Sarah is listening to a song. If William were a police officer, then Elisabeth is a janitor. William is a police officer. Therefore Elisabeth is a janitor and Jessica is fast.
p and q. r -> s. r. Therefore s and p.