story: [Carolina] always goes to the park with her son [Mario] on Saturdays. [Michael] went to the Farmer's market with his mother [Carolina] and his brother [Mario]. [Paul] and his son [Robert] went to the cinema together. [Robert] took his son [Mario] out for ice cream.
clean_story: [Carolina] always goes to the park with her son [Mario] on Saturdays. [Robert] took his son [Mario] out for ice cream. [Paul] and his son [Robert] went to the cinema together.
proof_state: [{('Carolina', 'father', 'Paul'): [('Carolina', 'son', 'Mario'), ('Mario', 'grandfather', 'Paul')]}, {('Mario', 'grandfather', 'Paul'): [('Mario', 'father', 'Robert'), ('Robert', 'father', 'Paul')]}]