Translate the following inference to logic notation: It is overcast and Jennifer is a janitor. Elisabeth is not making tea. Elisabeth is making tea or Patricia is cooking. Therefore Patricia is cooking and it is overcast.
p and q. ~r. r or s. Therefore s and p.