story: [James] is a man with a brother named [Michael]. [James] and his brother [Alan] are fighting again. [Alan] bought a book for his son [Jason].
query: ('Jason', 'Michael')
clean_story: [Alan] bought a book for his son [Jason]. [James] and his brother [Alan] are fighting again. [James] is a man with a brother named [Michael].
proof_state: [{('Jason', 'uncle', 'Michael'): [('Jason', 'father', 'Alan'), ('Alan', 'brother', 'Michael')]}, {('Alan', 'brother', 'Michael'): [('Alan', 'brother', 'James'), ('James', 'brother', 'Michael')]}]