Translate the following inference to logic notation: If it is overcast, then Robert is a scientist. If Robert were a scientist, then it is overcast. If it is overcast, then it is cold. If it is cold, then Robert is a scientist. Therefore Robert is a scientist if and only if it is overcast.
p -> q. q -> p. p -> r. r -> q. Therefore q <-> p.