I still have no idea how they practically want to solve the logic problem with their simplistic approach, without something like cyc. They have no way to prove

I still have no idea how they practically want to solve the logic problem with their simplistic approach, without something like cyc. They have no way to prove or disprove partial factoids in their token streams. Even if they manage to find those factoid regions, as explained in their paper. How is their feedback loop driven? Who gives the correct answers? They can simplify and abstract speech, OK, but reasoning needs some logically driven feedback loop. Knowledge. And no, Wikipedia is not a source of truth. Highly manipulated.