story: [Myrna] and her brother [James] played ball outside. [Myrna]'s brother [Michael] stayed inside.
query: ('Michael', 'James')
clean_story: [Myrna] and her brother [James] played ball outside. [Myrna]'s brother [Michael] stayed inside.
proof_state: [{('Michael', 'brother', 'James'): [('Michael', 'sister', 'Myrna'), ('Myrna', 'brother', 'James')]}]