What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is running. If it is overcast, then it is windy. Barbara is not reading a book. If it is windy, then Barbara is reading a book.
It is not windy. Linda is running and Barbara is not reading a book. Barbara is not reading a book and Linda is running.