What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If it is late, then it is cold. It is cold if and only if Joseph is working. Joseph is working or it is not cold.
If it is cold, then Joseph is working can be inferred via the rewriting rule. If it is cold, then Joseph is working can be inferred via the biconditional elimination rule. If Joseph works, then it is cold can be inferred via the biconditional elimination rule.