Translate the following inference to logic notation: Robert is not running. William is making tea. Robert is running or it is not raining. It is raining if and only if Robert is running. Therefore it is not raining and William is making tea.
~p. q. p or ~r. r <-> p. Therefore ~r and q.