story: [Jason] took his granddaughter [Lucille] to the park. [William] is going to the arcade with his sister, [Lucille].
query: ('William', 'Jason')
clean_story: [William] is going to the arcade with his sister, [Lucille]. [Jason] took his granddaughter [Lucille] to the park.
proof_state: [{('William', 'grandfather', 'Jason'): [('William', 'sister', 'Lucille'), ('Lucille', 'grandfather', 'Jason')]}]