What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_19, if x_19 goes running, then x_19 is cooking. It is overcast or Susan is not cooking. Michael is taking a plane or Susan is running. If Michael takes a plane, then Susan is cooking.
If Susan cooks, then it is overcast. If Susan reads a book, then Michael is taking a plane.