Translate the following inference to logic notation: Elisabeth is working if and only if Robert is a sailor. Elisabeth is not working. It is raining and it is overcast. Therefore Robert is not a sailor and it is raining.
p <-> q. ~p. r and s. Therefore ~q and r.