What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Karen listens to a song, then Mary is drinking water. If Robert were a bartender, then Mary is not drinking water. Karen is listening to a song and Jennifer is a janitor.
Karen is listening to a song. Jennifer is a janitor.