Translate the following inference to logic notation: Mary is a soldier if and only if it is cold. Mary is not a soldier. If Karen works, then it is cold. Therefore Karen is not working.
p <-> q. ~p. r -> q. Therefore ~r.