Translate the following inference to logic notation: If Richard were a carpenter, then Sarah is a scientist. It is overcast if and only if Sarah is a scientist. It is overcast. Therefore Sarah is a scientist.
p -> q. r <-> q. r. Therefore q.