Translate the following inference to logic notation: If Barbara were a cashier, then Michael is driving a car. If Michael drives a car, then John is climbing a mountain. Barbara is a cashier. Therefore John is climbing a mountain or James is playing a game.
p -> q. q -> r. p. Therefore r or s.