Translate the following inference to logic notation: John is sad if and only if it is cold. If Sarah were a carpenter, then it is cold. It is not cloudy or John is sad. It is cloudy or it is sunny. It is not sunny or Sarah is a carpenter. Therefore it is cold.
p <-> q. r -> q. ~s or p. s or t. ~t or r. Therefore q.