What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy. It is overcast and David is an astronaut. For all x, x will read a book.
It is overcast. David is an astronaut.