Translate the following inference to logic notation: Mary is a carpenter if and only if it is sunny. James is listening to a song. If it is sunny, then it is raining. If James listens to a song, then it is cold. It is not raining. Therefore Mary is not a carpenter and it is cold.
p <-> q. r. q -> s. r -> t. ~s. Therefore ~p and t.