What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is a musician. If Jessica were a politician, then Elisabeth is not making tea. Elisabeth is making tea. Charles is a musician if and only if it is overcast.
Jessica is not a politician. Charles is a musician and Elisabeth is making tea. Elisabeth is making tea and Charles is a musician. If Charles were a musician, then it is overcast. If it is overcast, then Charles is a musician.