Translate the following inference to logic notation: William is playing a game or John is not making tea. Mary is not a server. Mary is a server or John is making tea. Therefore William is playing a game.
p or ~q. ~r. r or q. Therefore p.