Translate the following inference to logic notation: Susan is running if and only if Mary is excited. Mary is not excited. If Susan goes running, then Mary is excited. John is driving a car if and only if Susan is running. Therefore John is not driving a car.
p <-> q. ~q. p -> q. r <-> p. Therefore ~r.