story: [Rudolph] went to pick up his daughter [Lisa] from school on the last day before summer vacation. [Stacy] and his father [Peter] went jogging by the lake. [Peter] and his wife, [Lisa], took [Peter]'s daughter [Michelle] to the park for a nice day in the sun.
query: ('Rudolph', 'Michelle')
clean_story: [Rudolph] went to pick up his daughter [Lisa] from school on the last day before summer vacation. [Peter] and his wife, [Lisa], took [Peter]'s daughter [Michelle] to the park for a nice day in the sun.
proof_state: [{('Rudolph', 'granddaughter', 'Michelle'): [('Rudolph', 'daughter', 'Lisa'), ('Lisa', 'daughter', 'Michelle')]}, {('Lisa', 'daughter', 'Michelle'): [('Lisa', 'husband', 'Peter'), ('Peter', 'daughter', 'Michelle')]}]