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