Translate the following inference to logic notation: If Jessica works, then Robert is playing squash. It is late or Joseph is a server. If Joseph were a server, then Robert is playing squash. If it is late, then Jessica is working. Therefore Robert is playing squash.
p -> q. r or s. s -> q. r -> p. Therefore q.