Translate the following inference to logic notation: If it rains, then William is sleeping. If it is sunny, then Joseph is not a mechanic. Joseph is a mechanic. William is not sleeping. Therefore it is not raining and it is not sunny.
p -> q. r -> ~s. s. ~q. Therefore ~p and ~r.