story: [Rudolph] has a lovely granddaughter. [Jeannette] is the name of his granddaughter. [James]'s daughter, [Jeannette], has never gotten along well with his sister [Lisa]. [Lisbeth] needed to go to the store. [Lisbeth] asked her sister [Lisa] for a ride.
query: ('Lisa', 'Rudolph')
clean_story: [James]'s daughter, [Jeannette], has never gotten along well with his sister [Lisa]. [Rudolph] has a lovely granddaughter. [Jeannette] is the name of his granddaughter.
proof_state: [{('Lisa', 'father', 'Rudolph'): [('Lisa', 'brother', 'James'), ('James', 'father', 'Rudolph')]}, {('James', 'father', 'Rudolph'): [('James', 'daughter', 'Jeannette'), ('Jeannette', 'grandfather', 'Rudolph')]}]