Is Belief Reasoning Automatic?