What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is climbing a mountain or Robert is not a server. Thomas is climbing a mountain if and only if it is cold. It is cold or Robert is a server.
If Robert were a server, then Thomas is climbing a mountain. If Thomas climbs a mountain, then it is cold. If it is cold, then Thomas is climbing a mountain.