Translate the following inference to logic notation: If it is cold, then Mary is a scientist. It is cold or Joseph is a soldier. Mary is a scientist if and only if Mary is listening to a song. Mary is not listening to a song. Therefore Joseph is a soldier.
p -> q. p or r. q <-> s. ~s. Therefore r.