What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Linda writes a letter, then David is drinking water. If Linda writes a letter, then Charles is an electrician. David is drinking water if and only if Linda is writing a letter.
If David drinks water, then Linda is writing a letter. If Linda writes a letter, then David is drinking water.