What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Charles reads a book, then Patricia is sad. Charles is reading a book. Susan is driving a car and Jennifer is drinking water.
Patricia is sad. Susan is driving a car. Jennifer is drinking water.