Translate the following inference to logic notation: If it rains, then it is windy. If Susan plays tennis, then it is windy. It is raining or Susan is playing tennis. If it is windy, then Susan is playing tennis. Therefore it is windy.
p -> q. r -> q. p or r. q -> r. Therefore q.