Translate the following inference to logic notation: Barbara is making tea if and only if Jennifer is an electrician. Jennifer is not an electrician. If Barbara doesn't make tea, then Richard is drinking water. If it is cloudy, then Richard is drinking water. Therefore Richard is drinking water.
p <-> q. ~q. ~p -> r. s -> r. Therefore r.