story: [Devin]'s aunt, [Johanna], took him fishing [Marian] always goes to the park with her son [Devin] on Saturdays. [Henry] sat with his daughter, [Johanna], for ice cream at a local shop.
clean_story: [Marian] always goes to the park with her son [Devin] on Saturdays. [Devin]'s aunt, [Johanna], took him fishing [Henry] sat with his daughter, [Johanna], for ice cream at a local shop.
proof_state: [{('Marian', 'father', 'Henry'): [('Marian', 'sister', 'Johanna'), ('Johanna', 'father', 'Henry')]}, {('Marian', 'sister', 'Johanna'): [('Marian', 'son', 'Devin'), ('Devin', 'aunt', 'Johanna')]}]