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