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