Mental Models and Deductive Reasoning Reasoning: Studies in Human Inference and Its Foundations