Translate the following inference to logic notation: If Michael drives a car, then Sarah is sleeping. If Sarah sleeps, then Elisabeth is an artist. Elisabeth is an artist if and only if Sarah is sleeping. Therefore if Michael drives a car, then Elisabeth is an artist.
p -> q. q -> r. r <-> q. Therefore p -> r.