story: [Alma] loves to make cookies for her son. His name is [Russell]. [Russell] brought his mother to see her sister [Myrna].
query: ('Alma', 'Myrna')
clean_story: [Alma] loves to make cookies for her son. His name is [Russell]. [Russell] brought his mother to see her sister [Myrna].
proof_state: [{('Alma', 'sister', 'Myrna'): [('Alma', 'son', 'Russell'), ('Russell', 'aunt', 'Myrna')]}]