What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is a taxi driver if and only if Jennifer is a bartender. Jennifer is not a bartender. Charles is a taxi driver or Jennifer is running.
If Charles were a taxi driver, then Jennifer is a bartender. If Jennifer were a bartender, then Charles is a taxi driver. Charles is not a taxi driver.