story: [Lisa] and her daughter [Eustolia] went out for ice cream. [Lisa] got a cone and [Eustolia] got a sundae. [Lisa] and her sister [Lisbeth] went out to lunch with [Lisa]'s sister [Carol]. [Carol] had to pick her son [Michael] up from school because the schools' bus was broke down.
query: ('Michael', 'Lisbeth')
clean_story: [Carol] had to pick her son [Michael] up from school because the schools' bus was broke down. [Lisa] and her sister [Lisbeth] went out to lunch with [Lisa]'s sister [Carol].
proof_state: [{('Michael', 'aunt', 'Lisbeth'): [('Michael', 'mother', 'Carol'), ('Carol', 'sister', 'Lisbeth')]}, {('Carol', 'sister', 'Lisbeth'): [('Carol', 'sister', 'Lisa'), ('Lisa', 'sister', 'Lisbeth')]}]