Translate the following inference to logic notation: It is cold or Barbara is sad. If Barbara were sad, then it is overcast. It is overcast if and only if it is cold. Therefore it is overcast.
p or q. q -> r. r <-> p. Therefore r.