The OP is making a statement about how humans think and why this is at odds with Cyc. I don't think it is wrong to ask about a source on this. Otherwise I can claim anything. This has nothing to do with Reddit.

> Humans do think with first order predicate calculus. We juggle a bunch of statements/rules the way Cyc does, and don't have a very fast, efficient and powerful conceptual approach to the world with a massive amount of recursive conceptual inference.

Great discussion, thanks.