Translate the following inference to logic notation: It is not raining. If Barbara drinks water, then William is bored. If William were bored, then Barbara is drinking water. If it is cold, then it is raining. William is not bored. Therefore Barbara is not drinking water and it is not cold.
~p. q -> r. r -> q. s -> p. ~r. Therefore ~q and ~s.