story: [Michael] and his wife [Alma] were going to pick up [Alma]'s daughter [Vanessa].
query: ('Michael', 'Vanessa')
clean_story: [Michael] and his wife [Alma] were going to pick up [Alma]'s daughter [Vanessa].
proof_state: [{('Michael', 'daughter', 'Vanessa'): [('Michael', 'wife', 'Alma'), ('Alma', 'daughter', 'Vanessa')]}]