Translate the following inference to logic notation: Richard is not a politician. If James plays a game, then it is not sunny. Richard is a politician or it is sunny. Therefore James is not playing a game or Thomas is a scientist.
~p. q -> ~r. p or r. Therefore ~q or s.