What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is a soldier if and only if Richard is climbing a mountain. Susan is a soldier if and only if it is overcast. If Joseph makes tea, then Richard is climbing a mountain.
If Susan were a soldier, then Richard is climbing a mountain. If Susan were a soldier, then it is overcast. If Richard climbs a mountain, then Susan is a soldier. If it is overcast, then Susan is a soldier.