Translate the following inference to logic notation: If Elisabeth were a police officer, then it is windy. Elisabeth is a police officer if and only if Sarah is rich. It is windy if and only if Sarah is rich. Therefore Sarah is rich if and only if it is windy.
p -> q. p <-> r. q <-> r. Therefore r <-> q.