story: [Stephen] played golf with his father [Paul] and his son [Charles]. [Cecilia] always goes to the park with her son [Charles] on Saturdays. [Charles] and [Sherman] were both still very upset with their mother, [Cecilia].
clean_story: [Cecilia] always goes to the park with her son [Charles] on Saturdays. [Stephen] played golf with his father [Paul] and his son [Charles].
proof_state: [{('Cecilia', 'father', 'Paul'): [('Cecilia', 'son', 'Charles'), ('Charles', 'grandfather', 'Paul')]}, {('Charles', 'grandfather', 'Paul'): [('Charles', 'father', 'Stephen'), ('Stephen', 'father', 'Paul')]}]