Translate the following inference to logic notation: David is driving a car if and only if Robert is a mechanic. It is cloudy if and only if Robert is a mechanic. David is not driving a car. If it is not cloudy, then it is raining. Therefore it is raining.
p <-> q. r <-> q. ~p. ~r -> s. Therefore s.