Translate the following inference to logic notation: If it is cold, then Barbara is an office clerk. It is cold. Barbara is an artist if and only if Barbara is an office clerk. Therefore Barbara is an office clerk.
p -> q. p. r <-> q. Therefore q.