What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is a soldier if and only if James is making tea. It is cold or James is making tea. It is not cold.
James is making tea. If David were a soldier, then James is making tea. If James makes tea, then David is a soldier.