I think we're not disagreeing, exactly. As a simple example, here is a set of assertions: * The moon is made of green cheese * The moon is crystalline rock s

I think we're not disagreeing, exactly. As a simple example, here is a set of assertions: * The moon is made of green cheese * The moon is crystalline rock surrounding an iron core It wouldn't take an AI to see that both of these can't be true, even if we weren't clear about what a moon is made of, exactly. Some of our common understanding could contain more complicated internal contradictions that might be harder for a human to tease apart, that an AI might be able to identify.