What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If James were a lawyer, then William is a doctor. For all z_2, z_2 is not a doctor. James is a lawyer if and only if Patricia is a politician.
If James were a lawyer, then Patricia is a politician. If Patricia were a politician, then James is a lawyer.