Translate the following inference to logic notation: It is cold or it is raining. If it rains, then William is an office clerk. If it is cold, then William is an office clerk. It is late. Therefore William is an office clerk and it is late.
p or q. q -> r. p -> r. s. Therefore r and s.