Translate the following inference to logic notation: Susan is taking a plane or Joseph is playing a game. Richard is not a soldier. Richard is a soldier or Susan is not taking a plane. Therefore Joseph is playing a game.
p or q. ~r. r or ~p. Therefore q.