story: [James] and his son, [Leroy], went over to [Patricia]'s house for the holidays. [James] loved seeing his mother, but [Leroy] was less enthusiastic. [Elizabeth] and her son, [Leroy], went to the park to fly a kite. They had fun doing it all day. [Rhonda] always invites her daughter-in law of [Fred] to the movies on sundays.
clean_story: [Elizabeth] and her son, [Leroy], went to the park to fly a kite. They had fun doing it all day. [James] and his son, [Leroy], went over to [Patricia]'s house for the holidays. [James] loved seeing his mother, but [Leroy] was less enthusiastic.
proof_state: [{('Elizabeth', 'mother', 'Patricia'): [('Elizabeth', 'son', 'Leroy'), ('Leroy', 'grandmother', 'Patricia')]}, {('Leroy', 'grandmother', 'Patricia'): [('Leroy', 'father', 'James'), ('James', 'mother', 'Patricia')]}]