Translate the following inference to logic notation: If Jennifer sleeps, then James is a scientist. Elisabeth is bored or Jennifer is not fast. If James were a scientist, then Jennifer is fast. Therefore if Jennifer sleeps, then Elisabeth is bored.
p -> q. r or ~s. q -> s. Therefore p -> r.