What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_8, x_8 will not work. Barbara is not a sailor or it is snowing. Barbara is a sailor or Joseph is working.
Joseph is working or it is snowing. If Joseph takes a plane, then Barbara is a sailor.