What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is not a politician. It is overcast if and only if Joseph is driving a car. If Joseph drives a car, then Joseph is a politician. It is overcast if and only if it is late.
Joseph is not driving a car. If it is overcast, then Joseph is driving a car. If it is overcast, then it is late. If Joseph drives a car, then it is overcast. If it is late, then it is overcast.