Translate the following inference to logic notation: John is not a police officer. Mary is driving a car if and only if John is a police officer. Mary is driving a car. Therefore Robert is climbing a mountain.
~p. q <-> p. q. Therefore r.