story: [Michael] went to the mall with his daughter [Reta]. [Reta]'s brother [Lisa] stayed home because he hates the mall. [Michael] and his sister [Marian] went to the park.
query: ('Lisa', 'Marian')
clean_story: [Michael] went to the mall with his daughter [Reta]. [Reta]'s brother [Lisa] stayed home because he hates the mall. [Michael] and his sister [Marian] went to the park.
proof_state: [{('Lisa', 'aunt', 'Marian'): [('Lisa', 'father', 'Michael'), ('Michael', 'sister', 'Marian')]}, {('Lisa', 'father', 'Michael'): [('Lisa', 'sister', 'Reta'), ('Reta', 'father', 'Michael')]}]