What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is working and Jennifer is running. If Elisabeth were an office clerk, then Patricia is not working. If it is windy, then Elisabeth is an office clerk. If Elisabeth were an office clerk, then it is windy.
If it is windy, then Patricia is not working. Patricia is working. Jennifer is running. It is windy if and only if Elisabeth is an office clerk. Elisabeth is an office clerk if and only if it is windy.