story: [Henry] was on the phone with his wife [Theresa]. [Theresa] kept getting interrupted by her daughter [Verdie]. [Theresa] asked her daughter, [Amanda], if she had fun at school that day. [Amanda] answered that she and her sister, [Verdie], had lots of fun together.
clean_story: [Henry] was on the phone with his wife [Theresa]. [Theresa] kept getting interrupted by her daughter [Verdie].
proof_state: [{('Henry', 'daughter', 'Verdie'): [('Henry', 'wife', 'Theresa'), ('Theresa', 'daughter', 'Verdie')]}]