What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is cooking. Richard is not bored. Richard is bored or Jennifer is not drinking water.
Jennifer is not drinking water. Jessica is cooking and Richard is not bored. Richard is not bored and Jessica is cooking. If Jennifer drinks water, then Richard is bored.