Translate the following inference to logic notation: Joseph is drinking water or it is sunny. If Joseph drinks water, then William is a nurse. William is a nurse or it is not sunny. Therefore William is a nurse or it is raining.
p or q. p -> r. r or ~q. Therefore r or s.