What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard were a musician, then Barbara is drinking water. Barbara is not a police officer. If Linda were a cashier, then Richard is a musician. For all x_17, if x_17 drinks water, then x_17 is a police officer. If Richard were a musician, then Linda is a cashier.
If Linda were a cashier, then Barbara is drinking water. Linda is a cashier if and only if Richard is a musician. Richard is a musician if and only if Linda is a cashier.