story: [Carolina] always goes to the park with her son [Mario] on Saturdays. [Robert] went to the beach with his mother [Nettie] and his son [Mario]. [Stephen] played scrabble with his mother [Nettie] and his brother [Robert].
clean_story: [Carolina] always goes to the park with her son [Mario] on Saturdays. [Robert] went to the beach with his mother [Nettie] and his son [Mario].
proof_state: [{('Carolina', 'mother', 'Nettie'): [('Carolina', 'son', 'Mario'), ('Mario', 'grandmother', 'Nettie')]}, {('Mario', 'grandmother', 'Nettie'): [('Mario', 'father', 'Robert'), ('Robert', 'mother', 'Nettie')]}]