Translate the following inference to logic notation: Joseph is sleeping if and only if it is overcast. It is overcast if and only if William is making tea. It is sunny if and only if Joseph is sleeping. William is not making tea. Therefore it is not sunny.
p <-> q. q <-> r. s <-> p. ~r. Therefore ~s.