story: [Elliott] and his wife [Marian] went to dinner with their daughter [Rosie]. [Elliott]'s sister [Michelle] had to run some errands instead.
query: ('Michelle', 'Rosie')
clean_story: [Elliott] and his wife [Marian] went to dinner with their daughter [Rosie]. [Elliott]'s sister [Michelle] had to run some errands instead.
proof_state: [{('Michelle', 'niece', 'Rosie'): [('Michelle', 'brother', 'Elliott'), ('Elliott', 'daughter', 'Rosie')]}, {('Elliott', 'daughter', 'Rosie'): [('Elliott', 'wife', 'Marian'), ('Marian', 'daughter', 'Rosie')]}]