What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_20, x_20 will climb a mountain if and only if x_20 will cook. If William doesn't climb a mountain, then it is snowing. Karen is reading a book. William is not cooking.
Karen is reading a book and William is not cooking. William is not cooking and Karen is reading a book. For all x_20, if x_20 climbs a mountain, then x_20 is cooking. For all x_20, if x_20 cooks, then x_20 is climbing a mountain.