What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is bored or it is not snowing. Mary is a cashier if and only if it is snowing. Mary is bored if and only if Mary is a cashier.
If it snows, then Mary is bored. If Mary were a cashier, then it is snowing. If Mary were bored, then Mary is a cashier. If it snows, then Mary is a cashier. If Mary were a cashier, then Mary is bored.