Translate the following inference to logic notation: It is cloudy if and only if Sarah is a mechanic. It is cloudy if and only if Robert is drinking water. If Robert drinks water, then Sarah is a mechanic. Therefore Sarah is a mechanic if and only if it is cloudy.
p <-> q. p <-> r. r -> q. Therefore q <-> p.