story: [James] and his son, [Clarence], went over to [Patricia]'s house for the holidays. [James] loved seeing his mother, but [Clarence] was less enthusiastic. [Elizabeth] always goes to the park with her son [Clarence] on Saturdays.
clean_story: [Elizabeth] always goes to the park with her son [Clarence] on Saturdays. [James] and his son, [Clarence], went over to [Patricia]'s house for the holidays. [James] loved seeing his mother, but [Clarence] was less enthusiastic.
proof_state: [{('Elizabeth', 'mother', 'Patricia'): [('Elizabeth', 'son', 'Clarence'), ('Clarence', 'grandmother', 'Patricia')]}, {('Clarence', 'grandmother', 'Patricia'): [('Clarence', 'father', 'James'), ('James', 'mother', 'Patricia')]}]