What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is reading a book. If James reads a book, then Jennifer is running. Jessica is not climbing a mountain. Jessica is writing a letter if and only if Jessica is climbing a mountain.
Jennifer is running. James is reading a book and Jessica is not climbing a mountain. Jessica is not climbing a mountain and James is reading a book. If Jessica writes a letter, then Jessica is climbing a mountain. If Jessica climbs a mountain, then Jessica is writing a letter. Jessica is not writing a letter.