Translate the following inference to logic notation: Robert is bored or Joseph is not driving a car. If Robert were bored, then Sarah is a scientist. If Sarah were a scientist, then Joseph is driving a car. Sarah is not a scientist. Therefore Joseph is not driving a car.
p or ~q. p -> r. r -> q. ~r. Therefore ~q.