What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is not reading a book. Patricia is reading a book if and only if Elisabeth is rich. It is not overcast. If it is windy, then it is overcast.
It is not windy. Patricia is not reading a book and it is not overcast. It is not overcast and Patricia is not reading a book. If Patricia reads a book, then Elisabeth is rich. If Elisabeth were rich, then Patricia is reading a book. Elisabeth is not rich.