story: [Lance] took his Aunt [Ashley] out for her favorite meal [Ashley] took her father, [Henry], out to dinner. [Lance] took his favorite son [John] to a baseball game where he caught a foul ball as a souvenir.
clean_story: [Lance] took his favorite son [John] to a baseball game where he caught a foul ball as a souvenir. [Lance] took his Aunt [Ashley] out for her favorite meal [Ashley] took her father, [Henry], out to dinner.
proof_state: [{('John', 'father', 'Henry'): [('John', 'sister', 'Ashley'), ('Ashley', 'father', 'Henry')]}, {('John', 'sister', 'Ashley'): [('John', 'son', 'Lance'), ('Lance', 'aunt', 'Ashley')]}]