Translate the following inference to logic notation: If Barbara drives a car, then Charles is fast. If Barbara drives a car, then William is a police officer. If Charles were fast, then Barbara is driving a car. Therefore if Charles were fast, then William is a police officer.
p -> q. p -> r. q -> p. Therefore q -> r.