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