Translate the following inference to logic notation: If Mary writes a letter, then Joseph is an office clerk. Mary is writing a letter. Patricia is not making tea. Patricia is making tea or Jennifer is cooking. Therefore Jennifer is cooking.
p -> q. p. ~r. r or s. Therefore s.