Translate the following inference to logic notation: It is windy or it is not snowing. Michael is not a carpenter. It is late if and only if it is snowing. If it is windy, then Michael is a carpenter. Therefore it is not late.
p or ~q. ~r. s <-> q. p -> r. Therefore ~s.