Translate the following inference to logic notation: If Mary were a musician, then it is windy. Elisabeth is playing tennis if and only if it is windy. If Elisabeth plays tennis, then Mary is a musician. Therefore if Elisabeth plays tennis, then it is windy.
p -> q. r <-> q. r -> p. Therefore r -> q.