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