Translate the following inference to logic notation: James is a scientist if and only if Joseph is bored. James is not a scientist. If David were excited, then Joseph is bored. Therefore David is not excited or Robert is cooking.
p <-> q. ~p. r -> q. Therefore ~r or s.