What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z, z is poor. It is snowing if and only if David is a scientist. David is not a scientist.
If it snows, then David is a scientist. If David were a scientist, then it is snowing. It is not snowing.