Transitive inference with nontransitive solutions controlled. · Study