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