What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is working and William is a poet. If it is sunny, then Robert is an electrician. Robert is an electrician if and only if Charles is working.
Charles is working. William is a poet. If Robert were an electrician, then Charles is working. If Charles works, then Robert is an electrician.