What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is a bartender if and only if Susan is cooking. If Susan cooks, then Linda is a bartender. If Linda were a bartender, then Susan is making tea. Susan is not cooking. If Susan makes tea, then Linda is a bartender.
If Susan cooks, then Susan is making tea. Linda is a bartender if and only if Susan is making tea. Susan is making tea if and only if Linda is a bartender. If Linda were a bartender, then Susan is cooking. If Susan cooks, then Linda is a bartender. Linda is not a bartender.