What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it snows, then Jennifer is a carpenter. Charles is a soldier or it is snowing. It is cloudy. If Patricia cooks, then Jennifer is a carpenter. If Charles were a soldier, then Patricia is cooking.
If Charles were a soldier, then Jennifer is a carpenter.