Translate the following inference to logic notation: Michael is not cooking. If it is late, then Michael is cooking. If William were bored, then it is late. It is snowing. Therefore it is snowing and William is not bored.
~p. q -> p. r -> q. s. Therefore s and ~r.