Translate the following inference to logic notation: William is playing tennis if and only if Michael is a carpenter. It is not snowing. William is playing tennis if and only if it is snowing. Michael is a carpenter. Therefore it is late.
p <-> q. ~r. p <-> r. q. Therefore s.