Translate the following inference to logic notation: It is windy. James is not an electrician. If Mary works, then James is an electrician. Mary is working or Charles is cooking. Therefore Charles is cooking and it is windy.
p. ~q. r -> q. r or s. Therefore s and p.