Translate the following inference to logic notation: It is cloudy or it is not sunny. If Richard makes tea, then it is cloudy. Sarah is not a scientist or it is sunny. Sarah is a scientist or Richard is making tea. Therefore it is cloudy.
p or ~q. r -> p. ~s or q. s or r. Therefore p.