What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Linda were a soldier, then Jessica is playing tennis. Jessica is not playing tennis. If Jessica plays tennis, then Linda is a soldier. If Jessica plays tennis, then Linda is a soldier.
Linda is not a soldier. Linda is a soldier if and only if Jessica is playing tennis. Linda is a soldier if and only if Jessica is playing tennis. Jessica is playing tennis if and only if Linda is a soldier. Jessica is playing tennis if and only if Linda is a soldier.