What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is cold, then Thomas is drinking water. If Thomas drinks water, then John is not bored. John is bored. If Thomas drinks water, then it is cold.
Thomas is not drinking water. If it is cold, then John is not bored. It is cold if and only if Thomas is drinking water. Thomas is drinking water if and only if it is cold.