story: [Pedro] has a aunt named [Carolina], routinely he went to school with his aunt [Carolina] and [Ryan] left that evening to go bowling. [Carolina] was excited because she was meeting her father, [Paul], for lunch. [Mary] and her son, [Pedro], went to the park, and had a wonderful time. [Ryan] and his son [Pedro] went to the cinema together.
clean_story: [Mary] and her son, [Pedro], went to the park, and had a wonderful time. [Pedro] has a aunt named [Carolina], routinely he went to school with his aunt [Carolina] was excited because she was meeting her father, [Paul], for lunch.
proof_state: [{('Mary', 'father', 'Paul'): [('Mary', 'sister', 'Carolina'), ('Carolina', 'father', 'Paul')]}, {('Mary', 'sister', 'Carolina'): [('Mary', 'son', 'Pedro'), ('Pedro', 'aunt', 'Carolina')]}]