What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were not a police officer, then it is cold. For all z, z is not curious. For all z, z is curious if and only if z is bored. If James were a police officer, then Elisabeth is bored.
For all z, if z were curious, then z is bored. For all z, if z were bored, then z is curious. For all z, z is not bored.