Translate the following inference to logic notation: If it is cold, then James is working. If James works, then it is raining. It is not snowing. It is raining if and only if it is snowing. If James works, then it is cold. Therefore it is not cold.
p -> q. q -> r. ~s. r <-> s. q -> p. Therefore ~p.