What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is overcast, then it is cold. John is not playing tennis. John is playing tennis if and only if Karen is reading a book. If Robert were excited, then it is overcast. If it is cold, then Karen is reading a book.
If it is overcast, then Karen is reading a book. If Robert were excited, then it is cold. If John plays tennis, then Karen is reading a book. If Karen reads a book, then John is playing tennis. Karen is not reading a book.