Translate the following inference to logic notation: If Richard plays a game, then Susan is making tea. It is cloudy or Richard is playing a game. If it is cloudy, then Michael is working. If Susan makes tea, then Michael is working. If Susan makes tea, then Richard is playing a game. Therefore Michael is working.
p -> q. r or p. r -> s. q -> s. q -> p. Therefore s.