Translate the following inference to logic notation: James is not bored. If Robert were a scientist, then James is bored. If it rains, then Robert is a scientist. If Barbara were an electrician, then it is raining. It is cloudy if and only if Barbara is an electrician. Therefore it is not cloudy.
~p. q -> p. r -> q. s -> r. t <-> s. Therefore ~t.