story: [Lisa] took her uncle [James] to the grocery store. [Lisa] and her brother [Jeremy] went to the basketball game and had a great time. [Jeremy]'s father's name is [Michael].
query: ('Michael', 'James')
clean_story: [Jeremy]'s father's name is [Michael]. [Lisa] and her brother [Jeremy] went to the basketball game and had a great time. [Lisa] took her uncle [James] to the grocery store.
proof_state: [{('Michael', 'brother', 'James'): [('Michael', 'daughter', 'Lisa'), ('Lisa', 'uncle', 'James')]}, {('Michael', 'daughter', 'Lisa'): [('Michael', 'son', 'Jeremy'), ('Jeremy', 'sister', 'Lisa')]}]