What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cold if and only if David is excited. Mary is sad. If Mary were sad, then David is excited.
David is excited. If it is cold, then David is excited. If David were excited, then it is cold.