What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer takes a plane, then Joseph is a police officer. If Richard goes running, then it is windy. If Joseph were a police officer, then it is windy. Richard is not running. If it is windy, then Richard is running.
It is not windy. If Jennifer takes a plane, then it is windy. If Joseph were a police officer, then Richard is running. Richard is running if and only if it is windy. It is windy if and only if Richard is running.