What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is drinking water or Joseph is taking a plane. Linda is not excited. Linda is excited or it is late. If Richard drinks water, then Karen is a janitor. If Joseph takes a plane, then Karen is a janitor.
It is late. Karen is a janitor.