Translate the following inference to logic notation: If Mary drives a car, then Susan is cooking. If Susan cooks, then Jennifer is a janitor. If Mary drives a car, then Jennifer is a janitor. If Jennifer were a janitor, then Mary is driving a car. Therefore if Mary drives a car, then Jennifer is a janitor.
p -> q. q -> r. p -> r. r -> p. Therefore p -> r.