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