What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is raining or it is cloudy. If Barbara were a lawyer, then Linda is reading a book. If it rains, then Mary is working. If Mary works, then Linda is reading a book. If it is cloudy, then Mary is working.
If it rains, then Linda is reading a book. If it is cloudy, then Linda is reading a book. Mary is working.