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 Charles were a carpenter, then Susan is an electrician. Susan is not poor. If Susan were an electrician, then Susan is poor.
Susan is not an electrician. If Charles were a carpenter, then Susan is poor. It is cold and Susan is not poor. Susan is not poor and it is cold.