如果 A 等于 B，B 等于 C，那么逻辑上 A 就等于 C，甚至 C 也等于 A。大多数人都或多或少地知道这一点。里约也知道。
里约是一只七岁的加州海狮，生活在加州大学圣克鲁兹分校。它的思维方式像人类一样。在学会将螃蟹的剪影与郁金香配对，然后又将郁金香与收音机配对之后，里约做出了一个逻辑上的飞跃：它将螃蟹与收音机配对。这似乎是件小事，但它是一种基本的逻辑思维。而里约是已知的第一只表现出这种能力的非人类动物。
更重要的是，正如里约的训练师、加州大学圣克鲁兹分校和加州州立大学海沃德分校的动物行为学家 Ronald Schusterman 所说，里约的能力削弱了语言是逻辑推理先决条件的普遍观念。这种观点认为，词汇使我们能够给物体贴上标签并对其进行分类，并在它们之间找到等同性——例如，认识到两种不同的动物都是螃蟹，甚至认识到在某些情况下螃蟹等同于郁金香。但里约在没有语言的情况下也能做到这一点，这表明情况可能恰恰相反：基本的逻辑可能是语言的先决条件和进化前体。
Schusterman 说，我说的意思是，形成等同关系是原始的、基本的。想象一下，如果你把大脑中负责语言的专门区域取出来，塞进一只蟑螂身上。你认为这只蟑螂会说话吗？大概不会。因为你需要前体，需要一定程度的智能才能进行语言交流。
正是由于想超越动物语言实验的结论不确定性，Schusterman 才开始了他目前的研究。自 20 世纪 60 年代以来，研究人员已经教会了各种动物手语，包括黑猩猩、大猩猩、红毛猩猩和海豚。（Schusterman 本人十年前就教会了海狮一种语言。）在一项实验中，一只海豚被教会了在收到“右球鳍触碰”的信号时，用鳍触碰右边的球；在另一项实验中，一只黑猩猩在想吃浆果时，会用手语表达“想要浆果”。
但这些实验的意义仍然存在争议。一些研究人员认为，动物学习手势或符号、将它们组合成序列并在不同场合使用它们的能力，表明动物理解这些符号的含义并展现出初步的推理能力。然而，其他研究人员则认为，动物语言实验的结果仅仅是复杂的模仿。
Schusterman 决定以不同的方式测试里约的推理能力。他和他的研究生们为里约创造了 90 个物体的曲目供其学习。有些是三维物体，例如刮刀，但大多数仅仅是黑白画。研究人员将这些物体分为三类（A、B 和 C），并将它们分成 30 组三元组，每组包含一个来自每个类别的一个物体。
当里约坐在池边一个带窗的胶合板面板前时，面板后面的研究人员会在中央窗口展示一个 A 类物体几秒钟。接下来，他们会打开两侧的窗口，展示 B 类物体，里约需要从中选择。如果里约用鼻子触碰了正确的那个，研究人员就会奖励它一条鲱鱼。
Schusterman 发现里约很容易学会配对物体。例如，它学会了大象的剪影（A 类）总是与蚂蚁的剪影（B 类）配对。它很快就明白这种配对是对称的：如果先展示蚂蚁，它就会将其与大象配对。后来，里约学会了蚂蚁也与土星行星的剪影配对，这是 C 类中的一个图像。
关键的测试来了，当时里约需要将大象（A）与土星（C）配对——这些图像它从未见过。Schusterman 说，为了能够做到我们称之为等同（即，无需任何特殊训练即可直接从 C 到 A），你就必须理解对称性和传递性。也就是说，你必须知道一旦 A 等于 B，B 等于 C，那么 A 就等于 C。你也必须知道 C 等于 A。里约显然知道这一切：在第一次尝试中，它在 12 个图像三元组中正确完成了 11 个 A-C 连接，并在剩余的 18 个三元组中正确完成了 17 个 C-A 连接。
根据 Schusterman 的说法，目前还没有其他动物能与里约的表现相媲美。但这并不意味着海狮比海豚或黑猩猩更聪明。Schusterman 说，我确信许多动物都具备这种能力。它们只是没有沿着这些方向接受过测试。
