story: [Michael]'s sister, [Myrna], was so happy to have him home. He was home from college. [Michael] and [Dwight] are brothers who look nothing alike.
query: ('Dwight', 'Myrna')
clean_story: [Michael] and [Dwight] are brothers who look nothing alike. [Michael]'s sister, [Myrna], was so happy to have him home. He was home from college.
proof_state: [{('Dwight', 'sister', 'Myrna'): [('Dwight', 'brother', 'Michael'), ('Michael', 'sister', 'Myrna')]}]