Translate the following inference to logic notation: It is not overcast. Linda is an astronaut if and only if Susan is cooking. It is cloudy if and only if Linda is an astronaut. It is overcast if and only if it is cloudy. Therefore Susan is not cooking.
~p. q <-> r. s <-> q. p <-> s. Therefore ~r.