Translate the following inference to logic notation: It is overcast if and only if Robert is playing squash. It is not overcast. If it is cold, then Robert is playing squash. Robert is playing squash or it is not overcast. Therefore it is not cold.
p <-> q. ~p. r -> q. q or ~p. Therefore ~r.