Translate the following inference to logic notation: John is drinking water. If William plays squash, then Richard is a sailor. William is playing squash if and only if Richard is a sailor. If William plays squash, then John is not drinking water. Therefore Richard is not a sailor or Richard is making tea.
p. q -> r. q <-> r. q -> ~p. Therefore ~r or s.