What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is raining or James is not playing squash. If Richard were a soldier, then Linda is climbing a mountain. If Linda climbs a mountain, then James is playing squash.
If Richard were a soldier, then James is playing squash. If James plays squash, then it is raining.