What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is a server if and only if Linda is reading a book. Thomas is not a server. If Linda doesn't read a book, then it is cloudy.
If Thomas were a server, then Linda is reading a book. If Linda reads a book, then Thomas is a server. Linda is not reading a book.