story: [Myrna] is the mother of a son named [Jose]. [Lisa] is a woman with a sister named [Myrna].
query: ('Jose', 'Lisa')
clean_story: [Myrna] is the mother of a son named [Jose]. [Lisa] is a woman with a sister named [Myrna].
proof_state: [{('Jose', 'aunt', 'Lisa'): [('Jose', 'mother', 'Myrna'), ('Myrna', 'sister', 'Lisa')]}]