“a 比 b 厉害” 和 “a 与 b 彼此彼此” 可以同时成立吗？

从语义上矛盾，但是从定义上不矛盾（可以同时满足一个是另一个的祖先和距离不超过 k）