story: [Alma] and her sister [Lisa] went out to lunch with [Alma]'s sister [Myrna].
query: ('Myrna', 'Lisa')
clean_story: [Alma] and her sister [Lisa] went out to lunch with [Alma]'s sister [Myrna].
proof_state: [{('Myrna', 'sister', 'Lisa'): [('Myrna', 'sister', 'Alma'), ('Alma', 'sister', 'Lisa')]}]