Demostrando desigualdades olímpicas combinando LLMs y razonamiento simbólico