Translate the following inference to logic notation: It is not sunny. Linda is a carpenter or it is cold. Linda is not a carpenter. Susan is an astronaut if and only if it is sunny. Therefore Susan is not an astronaut and it is cold.
~p. q or r. ~q. s <-> p. Therefore ~s and r.