Translate the following inference to logic notation: It is cloudy or it is not raining. If it is cloudy, then Susan is an electrician. If Susan were an electrician, then it is raining. Therefore if it rains, then it is cloudy.
p or ~q. p -> r. r -> q. Therefore q -> p.