story: [Marlene] and [Allen] are siblings who are enjoying lunch together. [Allen] took his sister [Lisa] out to lunch after learning that she got accepted into her first choice for university. [Karen]'s granddaughter, [Lisa], rushed to meet her sister, [Marlene], traffic was bad.
clean_story: [Karen]'s granddaughter, [Lisa], rushed to meet her sister, [Marlene], traffic was bad.
proof_state: [{('Karen', 'granddaughter', 'Marlene'): [('Karen', 'granddaughter', 'Lisa'), ('Lisa', 'sister', 'Marlene')]}]