What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is not excited. If it snows, then Thomas is climbing a mountain. If Thomas climbs a mountain, then Sarah is playing squash. If Sarah plays squash, then it is snowing. If Thomas climbs a mountain, then Mary is excited.
Thomas is not climbing a mountain. If it snows, then Sarah is playing squash. If it snows, then Mary is excited. If Thomas climbs a mountain, then it is snowing. If Sarah plays squash, then Thomas is climbing a mountain.