Translate the following inference to logic notation: John is drinking water or Barbara is sleeping. If William were happy, then Thomas is excited. If John drinks water, then William is happy. Thomas is not excited. Therefore Barbara is sleeping.
p or q. r -> s. p -> r. ~s. Therefore q.