story: [Ryan] played golf with his father [Paul] and his son [Denver]. [Ryan] took his daughter [Jennifer] to the park that afternoon to play. [Mary] always goes to the park with her son [Denver] on Saturdays. [Jennifer] loves to visit her grandfather [Paul].
clean_story: [Mary] always goes to the park with her son [Denver] on Saturdays. [Ryan] played golf with his father [Paul] and his son [Denver].
proof_state: [{('Mary', 'father', 'Paul'): [('Mary', 'son', 'Denver'), ('Denver', 'grandfather', 'Paul')]}, {('Denver', 'grandfather', 'Paul'): [('Denver', 'father', 'Ryan'), ('Ryan', 'father', 'Paul')]}]