Translate the following inference to logic notation: It is cold or William is not rich. If Karen makes tea, then it is cold. Karen is making tea or William is rich. Karen is a scientist. Therefore it is cold.
p or ~q. r -> p. r or q. s. Therefore p.