story: [Laura] bought her mother, [Kathleen], a puppy for her birthday. [Kathleen] bought her mother, [Donna], a puppy for her birthday. [John] took his daughter [Laura] to cheer practice.
clean_story: [John] took his daughter [Laura] to cheer practice. [Laura] bought her mother, [Kathleen], a puppy for her birthday. [Kathleen] bought her mother, [Donna], a puppy for her birthday.
proof_state: [{('John', 'mother', 'Donna'): [('John', 'daughter', 'Laura'), ('Laura', 'grandmother', 'Donna')]}, {('Laura', 'grandmother', 'Donna'): [('Laura', 'mother', 'Kathleen'), ('Kathleen', 'mother', 'Donna')]}]