What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan plays tennis, then Jessica is not reading a book. Susan is playing tennis or Elisabeth is an office clerk. For all x_16, x_16 will read a book and x_16 will write a letter.
For all x_16, x_16 will read a book. For all x_16, x_16 will write a letter.