Translate the following inference to logic notation: Linda is a musician if and only if Jessica is a carpenter. If Joseph were a scientist, then it is raining. Linda is a musician if and only if it is raining. Therefore if Joseph were a scientist, then Jessica is a carpenter.
p <-> q. r -> s. p <-> s. Therefore r -> q.