Translate the following inference to logic notation: If it is windy, then Elisabeth is an electrician. It is windy if and only if it is sunny. If Elisabeth were an electrician, then it is windy. Therefore if it is sunny, then Elisabeth is an electrician.
p -> q. p <-> r. q -> p. Therefore r -> q.