I would argue that is more reasoning than you do in the specific instances of SotA LLMs. Because you are demonstrating a rather simple logical mistake by claimi

I would argue that is more reasoning than you do in the specific instances of SotA LLMs. Because you are demonstrating a rather simple logical mistake by claiming "T is in NTG => T is not in R" when you have no information about relationship between NTG and R sets. But I wasn't even talking about reasoning. I specifically said "demonstration".