story: [Michelle] went shoe shopping with her sister [Verdie]. [Theresa] asked her daughter, [Verdie], if she would like to go to a movie with her on Saturday night. [Henry] was on the phone with his wife [Theresa]. [Theresa] kept getting interrupted by her daughter [Michelle].
clean_story: [Henry] was on the phone with his wife [Theresa]. [Theresa] kept getting interrupted by her daughter [Michelle].
proof_state: [{('Henry', 'daughter', 'Michelle'): [('Henry', 'wife', 'Theresa'), ('Theresa', 'daughter', 'Michelle')]}]