Conditional Inference and Activation of Knowledge Entities in ACT-R