story: [Henry] took his wife, [Theresa] on a picnic. [Theresa]'s daughter, [Verdie] stayed home. [Theresa] went to her son [Darnell]'s House [Darnell] and his sister [Verdie] have been best friends ever since childhood.
clean_story: [Henry] took his wife, [Theresa] on a picnic. [Theresa]'s daughter, [Verdie] stayed home.
proof_state: [{('Henry', 'daughter', 'Verdie'): [('Henry', 'wife', 'Theresa'), ('Theresa', 'daughter', 'Verdie')]}]