story: [Marissa] had a daughter named [Rhonda]. [Fred] drove his daughter [Rhonda] to soccer practice. [Marissa] asked her mother, [Patricia], what they were going to have for lunch. [Robert] 'son, [Pablo], aced his math class and made his father proud.
clean_story: [Fred] drove his daughter [Rhonda] to soccer practice. [Marissa] had a daughter named [Rhonda]. [Marissa] asked her mother, [Patricia], what they were going to have for lunch.
proof_state: [{('Fred', 'mother', 'Patricia'): [('Fred', 'daughter', 'Rhonda'), ('Rhonda', 'grandmother', 'Patricia')]}, {('Rhonda', 'grandmother', 'Patricia'): [('Rhonda', 'mother', 'Marissa'), ('Marissa', 'mother', 'Patricia')]}]