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