Translate the following inference to logic notation: If Susan drives a car, then Mary is a doctor. Mary is a doctor if and only if Sarah is a janitor. Sarah is not a janitor. Therefore Susan is not driving a car.
p -> q. q <-> r. ~r. Therefore ~p.