story: [Michael] took his son [Thomas] to the park to feed the squirrels. [Jeremy] went to the basketball game with his grandfather [Stanley] and his brother [Thomas].
query: ('Michael', 'Stanley')
clean_story: [Michael] took his son [Thomas] to the park to feed the squirrels. [Jeremy] went to the basketball game with his grandfather [Stanley] and his brother [Thomas].
proof_state: [{('Michael', 'father', 'Stanley'): [('Michael', 'son', 'Jeremy'), ('Jeremy', 'grandfather', 'Stanley')]}, {('Michael', 'son', 'Jeremy'): [('Michael', 'son', 'Thomas'), ('Thomas', 'brother', 'Jeremy')]}]
edge_types: ['son', 'brother', 'grandfather']