What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it snows, then Barbara is poor. Jennifer is making tea or it is snowing. If Michael were a scientist, then Barbara is poor. If Barbara were poor, then Michael is a scientist. If Jennifer makes tea, then Michael is a scientist. If Susan were an electrician, then Michael is not a scientist.
If it snows, then Michael is a scientist. If Jennifer makes tea, then Barbara is poor. Michael is a scientist if and only if Barbara is poor. Barbara is poor if and only if Michael is a scientist.