What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia were bored, then Elisabeth is curious. If Elisabeth were curious, then Karen is climbing a mountain. If Karen climbs a mountain, then Elisabeth is curious.
If Patricia were bored, then Karen is climbing a mountain. Elisabeth is curious if and only if Karen is climbing a mountain. Karen is climbing a mountain if and only if Elisabeth is curious.