Translate the following inference to logic notation: David is making tea if and only if Richard is a server. Richard is not a server. It is not overcast. If it snows, then Jennifer is a sailor. Jennifer is a sailor if and only if it is overcast. Therefore it is not snowing and David is not making tea.
p <-> q. ~q. ~r. s -> t. t <-> r. Therefore ~s and ~p.