Translate the following inference to logic notation: It is windy or it is sunny. If it is sunny, then it is cold. If it is windy, then it is cold. Barbara is an electrician. Therefore it is cold and Barbara is an electrician.
p or q. q -> r. p -> r. s. Therefore r and s.