What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is playing a game. It is raining. If Joseph plays squash, then Jessica is fast. If Jessica were fast, then it is not raining. If Jessica were fast, then Joseph is playing squash.
Jessica is not fast. If Joseph plays squash, then it is not raining. Susan is playing a game and it is raining. It is raining and Susan is playing a game. Joseph is playing squash if and only if Jessica is fast. Jessica is fast if and only if Joseph is playing squash.