story: [Henry] wrote a poem for his wife [Theresa]. [Theresa] asked her daughter, [Verdie], if she had fun at school that day. [Verdie] answered that she and her sister, [Christine], had lots of fun together. [Christine] went to dinner with her daughter [Theresa]. They then went to the park afterwards.
clean_story: [Henry] wrote a poem for his wife [Theresa]. [Christine] went to dinner with her daughter [Theresa]. They then went to the park afterwards.
proof_state: [{('Henry', 'daughter', 'Christine'): [('Henry', 'wife', 'Theresa'), ('Theresa', 'daughter', 'Christine')]}]