What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia climbs a mountain, then William is not driving a car. William is driving a car. If Patricia climbs a mountain, then Thomas is excited. If Thomas were excited, then Patricia is climbing a mountain. If Patricia climbs a mountain, then Thomas is excited.
Patricia is not climbing a mountain. If Thomas were excited, then William is not driving a car. Patricia is climbing a mountain if and only if Thomas is excited. Thomas is excited if and only if Patricia is climbing a mountain. Thomas is excited if and only if Patricia is climbing a mountain. Patricia is climbing a mountain if and only if Thomas is excited.