Translate the following inference to logic notation: If it is sunny, then it is raining. If it is overcast, then it is sunny. It is overcast or it is raining. If it rains, then it is sunny. Therefore it is sunny.
p -> q. r -> p. r or q. q -> p. Therefore p.