Translate the following inference to logic notation: If Jessica were rich, then it is cloudy. It is overcast and Elisabeth is an electrician. Jessica is rich. Therefore it is overcast and it is cloudy.
p -> q. r and s. p. Therefore r and q.