Translate the following inference to logic notation: It is not raining. It is raining if and only if Susan is an artist. Barbara is a soldier. Barbara is not a soldier or it is cold. Therefore it is cold.
~p. p <-> q. r. ~r or s. Therefore s.