story: [Lisbeth] took her son [Willie] to school and his grandfather [Rudolph] picked him up at then end of the school day. [Rudolph] took his daughter [Lisa] to the store [Rudolph] is helping his son study. His name is [Mark].
query: ('Lisbeth', 'Lisa')
clean_story: [Lisbeth] took her son [Willie] to school and his grandfather [Rudolph] picked him up at then end of the school day. [Rudolph] took his daughter [Lisa] to the store
proof_state: [{('Lisbeth', 'sister', 'Lisa'): [('Lisbeth', 'father', 'Rudolph'), ('Rudolph', 'daughter', 'Lisa')]}, {('Lisbeth', 'father', 'Rudolph'): [('Lisbeth', 'son', 'Willie'), ('Willie', 'grandfather', 'Rudolph')]}]