story: [Michael]'s wife, [Alma], went to the library with her daughter, [Annette].
query: ('Michael', 'Annette')
clean_story: [Michael]'s wife, [Alma], went to the library with her daughter, [Annette].
proof_state: [{('Michael', 'daughter', 'Annette'): [('Michael', 'wife', 'Alma'), ('Alma', 'daughter', 'Annette')]}]