Translate the following inference to logic notation: Jessica is playing squash or Barbara is not working. Barbara is working or Elisabeth is cooking. If Elisabeth cooks, then Jessica is playing squash. Therefore Jessica is playing squash.
p or ~q. q or r. r -> p. Therefore p.