What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy and it is overcast. For all z, z is a doctor and z is a mechanic.
It is windy. It is overcast. For all z, z is a doctor. For all z, z is a mechanic.