story: [Lisa]'s sister, [Myrna], as a teacher. [Lisa]'s daughter, [Michele], is a student.
query: ('Michele', 'Myrna')
clean_story: [Lisa]'s sister, [Myrna], as a teacher. [Lisa]'s daughter, [Michele], is a student.
proof_state: [{('Michele', 'aunt', 'Myrna'): [('Michele', 'mother', 'Lisa'), ('Lisa', 'sister', 'Myrna')]}]