story: [Alan] took his daughter [Elizabeth] and son [Carlos] to see a ball game. [Michael] is a great uncle of [Elizabeth].
query: ('Carlos', 'Michael')
clean_story: [Alan] took his daughter [Elizabeth] and son [Carlos] to see a ball game. [Michael] is a great uncle of [Elizabeth].
proof_state: [{('Carlos', 'uncle', 'Michael'): [('Carlos', 'father', 'Alan'), ('Alan', 'brother', 'Michael')]}, {('Alan', 'brother', 'Michael'): [('Alan', 'daughter', 'Elizabeth'), ('Elizabeth', 'uncle', 'Michael')]}]