story: [Peggy] took her sister, [Leah], out to dinner for her birthday. [Stephen] drove his daughter [Leah] to soccer practice. [Stephen] is proud that his daughter is such a good student. Her name is [Peggy]. [Cecilia] bought her mother, [Nettie], a puppy for her birthday. [Cecilia] and her daughter [Peggy] went to see a movie yesterday and then got ice cream afterwards.
clean_story: [Stephen] is proud that his daughter is such a good student. Her name is [Peggy]. [Cecilia] and her daughter [Peggy] went to see a movie yesterday and then got ice cream afterwards. [Cecilia] bought her mother, [Nettie], a puppy for her birthday.
proof_state: [{('Stephen', 'mother', 'Nettie'): [('Stephen', 'daughter', 'Peggy'), ('Peggy', 'grandmother', 'Nettie')]}, {('Peggy', 'grandmother', 'Nettie'): [('Peggy', 'mother', 'Cecilia'), ('Cecilia', 'mother', 'Nettie')]}]