What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is not a bartender. Thomas is a bartender or it is snowing. If Elisabeth were a cashier, then Jennifer is a taxi driver. Elisabeth is a cashier.
Jennifer is a taxi driver. It is snowing. Thomas is not a bartender and Elisabeth is a cashier. Elisabeth is a cashier and Thomas is not a bartender.