Describir: Belief-based and analytic processing in transitive inference depends on premise integration difficulty.