A Minimal Model of Transitive Inference