What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is not fast or it is raining. Robert is a cashier if and only if Linda is sleeping. Patricia is fast or Linda is sleeping. It is raining if and only if Robert is a cashier.
Linda is sleeping or it is raining. If Robert were a cashier, then Linda is sleeping. If it rains, then Robert is a cashier. If Linda sleeps, then Robert is a cashier. If Robert were a cashier, then it is raining.