A=B、A=C、B≠C。矛盾だけど「ある人には・ある状況ではA=C」とかを追加・更新できれば学習に繋がる気も