Reasoning Models Struggle with Everyday Logic vs. Formal Rules | HACKOBAR_