What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is cooking or Karen is bored. Linda is a janitor or it is cold. Linda is not a janitor. If Patricia cooks, then it is not cold.
It is cold.