What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is driving a car. Susan is not an office clerk. If it rains, then Susan is an office clerk. Michael is a sailor.
It is not raining. Richard is driving a car and Susan is not an office clerk. Richard is driving a car and Michael is a sailor. Susan is not an office clerk and Richard is driving a car. Susan is not an office clerk and Michael is a sailor. Michael is a sailor and Richard is driving a car. Michael is a sailor and Susan is not an office clerk.