What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Barbara is working or it is sunny. It is not snowing. It is snowing if and only if Barbara is working. If it is sunny, then Charles is a carpenter.
If it snows, then Barbara is working. If Barbara works, then it is snowing. Barbara is not working.