What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is overcast and Jessica is a scientist. For all x_4, x_4 is not a mechanic. If Mary were bored, then Robert is a mechanic.
It is overcast. Jessica is a scientist.