Translate the following inference to logic notation: If it is late, then Susan is playing a game. It is not cold or Jennifer is an office clerk. Susan is playing a game or Jennifer is not an office clerk. It is cold or it is late. Therefore Susan is playing a game.
p -> q. ~r or s. q or ~s. r or p. Therefore q.