story: [Patricia] had a daughter named [Dawn]. [Dawn], who is the sister of [Elizabeth], is a lovely girl. [Blanca] bought her mother, [Elizabeth], a puppy for her birthday.
clean_story: [Blanca] bought her mother, [Elizabeth], a puppy for her birthday. [Dawn], who is the sister of [Elizabeth], is a lovely girl. [Patricia] had a daughter named [Dawn].
proof_state: [{('Blanca', 'grandmother', 'Patricia'): [('Blanca', 'mother', 'Elizabeth'), ('Elizabeth', 'mother', 'Patricia')]}, {('Elizabeth', 'mother', 'Patricia'): [('Elizabeth', 'sister', 'Dawn'), ('Dawn', 'mother', 'Patricia')]}]