Abstract
Johnson-Laird, Byrne, and Schaeken (1992) present a theory of propositional reasoning by mental models. The present study provides a comprehensive test of the predictions of that theory for the difficulty of simple disjunctive and conditional inferences. The results are largely consistent with the complex pattern of predictions. They are discussed in the light of recently proposed modifications of the original theory.