Translate the following inference to logic notation: Richard is cooking or James is not working. Susan is playing a game or James is working. If Susan plays a game, then Richard is cooking. If Richard cooks, then Susan is playing a game. Therefore Richard is cooking.
p or ~q. r or q. r -> p. p -> r. Therefore p.