What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cold or Thomas is making tea. Thomas is not making tea or Jessica is a police officer. Thomas is not playing squash or John is playing tennis. It is not cold or Thomas is playing squash.
Thomas is making tea or Thomas is playing squash.