story: [Lisa] and her daughter [Deborah] went out for ice cream. [Lisa] got a cone and [Deborah] got a sundae. [Jason] took his granddaughter, [Deborah], to a basketball game last night.
query: ('Lisa', 'Jason')
clean_story: [Lisa] and her daughter [Deborah] went out for ice cream. [Lisa] got a cone and [Deborah] got a sundae. [Jason] took his granddaughter, [Deborah], to a basketball game last night.
proof_state: [{('Lisa', 'father', 'Jason'): [('Lisa', 'daughter', 'Deborah'), ('Deborah', 'grandfather', 'Jason')]}]