story: [Norman] and his sister [Alverta] went out for ice cream. [Dennis] took his son [Robert] out to play gold later that night. [Dennis] likes to spend time with his aunt, [Dawn], who was excellent at cooking chicken. [Dawn] was excited because she was meeting her father, [Antonio], for lunch.
clean_story: [Dennis] took his son [Robert] out to play gold later that night. [Dennis] likes to spend time with his aunt, [Dawn], who was excellent at cooking chicken. [Dawn] was excited because she was meeting her father, [Antonio], for lunch.
proof_state: [{('Robert', 'father', 'Antonio'): [('Robert', 'sister', 'Dawn'), ('Dawn', 'father', 'Antonio')]}, {('Robert', 'sister', 'Dawn'): [('Robert', 'son', 'Dennis'), ('Dennis', 'aunt', 'Dawn')]}]