story: [Stacy]'s sister, [Eustolia], was crying, so he told her a joke. She laughed, and felt better. [Peter] is proud of his son. His name is [Stacy]. [Lisa] took her son [Stacy] to school this morning because he missed the bus. [Peter] is a man with a daughter named [Michelle].
query: ('Lisa', 'Michelle')
clean_story: [Lisa] took her son [Stacy] to school this morning because he missed the bus. [Peter] is proud of his son. His name is [Stacy]. [Peter] is a man with a daughter named [Michelle].
proof_state: [{('Lisa', 'daughter', 'Michelle'): [('Lisa', 'son', 'Stacy'), ('Stacy', 'sister', 'Michelle')]}, {('Stacy', 'sister', 'Michelle'): [('Stacy', 'father', 'Peter'), ('Peter', 'daughter', 'Michelle')]}]