story: [Dorothy] and her sister [Myrna] went shopping at the mall. [Dorothy]'s daughter [Theresa] stayed home to study.
query: ('Myrna', 'Theresa')
clean_story: [Dorothy] and her sister [Myrna] went shopping at the mall. [Dorothy]'s daughter [Theresa] stayed home to study.
proof_state: [{('Myrna', 'niece', 'Theresa'): [('Myrna', 'sister', 'Dorothy'), ('Dorothy', 'daughter', 'Theresa')]}]