What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard were excited, then Jennifer is playing tennis. If Jennifer plays tennis, then Richard is excited. If Jennifer plays tennis, then Jessica is reading a book. It is raining and Patricia is an office clerk. If Jessica reads a book, then it is not raining.
If Richard were excited, then Jessica is reading a book. If Jennifer plays tennis, then it is not raining. It is raining. Patricia is an office clerk. Richard is excited if and only if Jennifer is playing tennis. Jennifer is playing tennis if and only if Richard is excited.