Translate the following inference to logic notation: Linda is happy or Jessica is an electrician. If Jessica were an electrician, then it is cloudy. If Linda were happy, then John is working. If John works, then it is cloudy. Therefore it is cloudy.
p or q. q -> r. p -> s. s -> r. Therefore r.