story: [Myrna]'s nephew, [Micheal], brought her lunch at work. [Dorothy] has a son named [Micheal].
query: ('Dorothy', 'Myrna')
clean_story: [Dorothy] has a son named [Micheal]. [Myrna]'s nephew, [Micheal], brought her lunch at work.
proof_state: [{('Dorothy', 'sister', 'Myrna'): [('Dorothy', 'son', 'Micheal'), ('Micheal', 'aunt', 'Myrna')]}]