What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late or it is not sunny. Linda is bored. It is not late.
It is not sunny. Linda is bored and it is not late. It is not late and Linda is bored. If it is sunny, then it is late.