What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is not poor. It is late. If Linda goes running, then Patricia is poor. If Patricia were poor, then Linda is running.
Linda is not running. Patricia is not poor and it is late. It is late and Patricia is not poor. Linda is running if and only if Patricia is poor. Patricia is poor if and only if Linda is running.