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