What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is snowing if and only if Linda is sleeping. Thomas is not drinking water. Thomas is drinking water if and only if Richard is happy. Linda is not sleeping.
Thomas is not drinking water and Linda is not sleeping. Linda is not sleeping and Thomas is not drinking water. If it snows, then Linda is sleeping. If Thomas drinks water, then Richard is happy. If Linda sleeps, then it is snowing. If Richard were happy, then Thomas is drinking water. Richard is not happy. It is not snowing.