What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cold, then Joseph is driving a car. If William were a janitor, then James is playing squash. If Joseph drives a car, then William is a janitor.
If it is cold, then William is a janitor. If Joseph drives a car, then James is playing squash.