What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is playing a game if and only if David is drinking water. It is overcast if and only if Jessica is playing a game. It is overcast or David is not drinking water.
If David drinks water, then it is overcast. If Jessica plays a game, then David is drinking water. If it is overcast, then Jessica is playing a game. If David drinks water, then Jessica is playing a game. If Jessica plays a game, then it is overcast.