What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is not an office clerk. Jennifer is sleeping or Patricia is working. If Patricia works, then it is overcast. Barbara is climbing a mountain if and only if Michael is an office clerk. If Jennifer sleeps, then it is overcast.
It is overcast. If Barbara climbs a mountain, then Michael is an office clerk. If Michael were an office clerk, then Barbara is climbing a mountain. Barbara is not climbing a mountain.