From Gameplay to Symbolic Reasoning