What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is a soldier. Patricia is reading a book if and only if Richard is playing a game. If Michael sleeps, then Richard is playing a game. Patricia is not reading a book.
Linda is a soldier and Patricia is not reading a book. Patricia is not reading a book and Linda is a soldier. If Patricia reads a book, then Richard is playing a game. If Richard plays a game, then Patricia is reading a book. Richard is not playing a game.