story: [Michael] was so proud of his daughter, [Vanessa], graduating at the top of her class. [Christopher] is a man with a niece named [Vanessa].
query: ('Michael', 'Christopher')
clean_story: [Michael] was so proud of his daughter, [Vanessa], graduating at the top of her class. [Christopher] is a man with a niece named [Vanessa].
proof_state: [{('Michael', 'brother', 'Christopher'): [('Michael', 'daughter', 'Vanessa'), ('Vanessa', 'uncle', 'Christopher')]}]