story: [Dwight] has a brother named [James] and a sister named [Myrna].
query: ('Dwight', 'Myrna')
clean_story: [Dwight] has a brother named [James] and a sister named [Myrna].
proof_state: [{('Dwight', 'sister', 'Myrna'): [('Dwight', 'brother', 'James'), ('James', 'sister', 'Myrna')]}]