story: [James] is a man with a wife named [Sandra]. [Sandra]'s brother, [Alan], was getting ready to start a new job. [Sandra] was very happy for him. [James] took his daughter [Enedina] to the bookstore, and bought her some books from her favorite author.
query: ('Alan', 'Enedina')
clean_story: [Sandra]'s brother, [Alan], was getting ready to start a new job. [Sandra] was very happy for him. [James] is a man with a wife named [Sandra]. [James] took his daughter [Enedina] to the bookstore, and bought her some books from her favorite author.
proof_state: [{('Alan', 'niece', 'Enedina'): [('Alan', 'sister', 'Sandra'), ('Sandra', 'daughter', 'Enedina')]}, {('Sandra', 'daughter', 'Enedina'): [('Sandra', 'husband', 'James'), ('James', 'daughter', 'Enedina')]}]