Translate the following inference to logic notation: If it is late, then John is not playing a game. Michael is making tea. It is late or James is a nurse. John is playing a game. Therefore James is a nurse and Michael is making tea.
p -> ~q. r. p or s. q. Therefore s and r.