Translate the following inference to logic notation: If Jessica were a musician, then Michael is sleeping. If Mary were sad, then Barbara is driving a car. If Barbara drives a car, then Jessica is a musician. If Michael sleeps, then Mary is sad. Therefore if Michael sleeps, then Mary is sad.
p -> q. r -> s. s -> p. q -> r. Therefore q -> r.