What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cold. Robert is an electrician. Joseph is poor.
It is cold and Robert is an electrician. It is cold and Joseph is poor. Robert is an electrician and it is cold. Robert is an electrician and Joseph is poor. Joseph is poor and it is cold. Joseph is poor and Robert is an electrician.