Translate the following inference to logic notation: William is a bartender if and only if it is raining. Joseph is happy. If John were an electrician, then William is a bartender. It is not raining. Therefore John is not an electrician and Joseph is happy.
p <-> q. r. s -> p. ~q. Therefore ~s and r.