Translate the following inference to logic notation: If it is overcast, then Richard is a nurse. Richard is not a nurse. If Robert were bored, then Jennifer is a lawyer. Robert is bored or it is overcast. Therefore Jennifer is a lawyer.
p -> q. ~q. r -> s. r or p. Therefore s.