What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is not working. Patricia is bored if and only if Michael is working. If Richard reads a book, then Patricia is bored. Richard is reading a book or Patricia is not bored.
If Patricia were bored, then Richard is reading a book. If Patricia were bored, then Michael is working. If Michael works, then Patricia is bored. Patricia is not bored.