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