What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica were a lawyer, then Thomas is writing a letter. It is overcast or Barbara is excited. If it is overcast, then it is snowing. If Barbara were excited, then it is snowing. Thomas is not writing a letter.
Jessica is not a lawyer. It is snowing.