What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Barbara is cooking or James is listening to a song. Barbara is cooking if and only if Michael is a bartender. If James listens to a song, then Michael is a bartender. For all y, y will work.
If Barbara cooks, then Michael is a bartender. If Michael were a bartender, then Barbara is cooking.