story: [Stanley] took his grandson [Jeremy] and his son [Michael] to the park. [Michael] did n't invite his brother [Alan].
query: ('Alan', 'Stanley')
clean_story: [Stanley] took his grandson [Jeremy] and his son [Michael] to the park. [Michael] did n't invite his brother [Alan].
proof_state: [{('Alan', 'father', 'Stanley'): [('Alan', 'brother', 'Michael'), ('Michael', 'father', 'Stanley')]}, {('Michael', 'father', 'Stanley'): [('Michael', 'son', 'Jeremy'), ('Jeremy', 'grandfather', 'Stanley')]}]