Translate the following inference to logic notation: It is windy. If David takes a plane, then it is not windy. It is overcast if and only if David is taking a plane. If Richard were a bartender, then it is overcast. Therefore Richard is not a bartender.
p. q -> ~p. r <-> q. s -> r. Therefore ~s.