What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not sunny. Thomas is a musician. Linda is not taking a plane or Elisabeth is making tea. Linda is taking a plane or it is sunny.
It is not sunny and Thomas is a musician. Thomas is a musician and it is not sunny. It is sunny or Elisabeth is making tea.