Translate the following inference to logic notation: If it is cold, then it is sunny. It is cold if and only if Linda is a poet. Linda is not a poet. If it is sunny, then it is cold. Therefore it is not sunny.
p -> q. p <-> r. ~r. q -> p. Therefore ~q.