story: [Craig] and his son [George] went to look at cars. [Craig] ended up buying the Mustang. [George] took his nephew [Michael] to the hockey game. [George] took his son [Craig] and daughter [Jean] out for ice cream. [Jean]'s brother [David] could n't make it because he was stuck in traffic. [David]'s brother, [Larry], recently made it into town. [Spencer] 'son, [Michael], aced his math class and made his father proud.
query: ('Spencer', 'Larry')
clean_story: [Spencer] 'son, [Michael], aced his math class and made his father proud. [George] took his nephew [Michael] to the hockey game. [Craig] and his son [George] went to look at cars. [Craig] ended up buying the Mustang. [George] took his son [Craig] and daughter [Jean] out for ice cream. [Jean]'s brother [David] could n't make it because he was stuck in traffic. [David]'s brother, [Larry], recently made it into town.
proof_state: [{('Spencer', 'nephew', 'Larry'): [('Spencer', 'brother', 'George'), ('George', 'son', 'Larry')]}, {('George', 'son', 'Larry'): [('George', 'son', 'David'), ('David', 'brother', 'Larry')]}, {('Spencer', 'brother', 'George'): [('Spencer', 'son', 'Michael'), ('Michael', 'uncle', 'George')]}, {('George', 'son', 'David'): [('George', 'son', 'Craig'), ('Craig', 'brother', 'David')]}, {('Craig', 'brother', 'David'): [('Craig', 'sister', 'Jean'), ('Jean', 'brother', 'David')]}, {('Craig', 'sister', 'Jean'): [('Craig', 'father', 'George'), ('George', 'daughter', 'Jean')]}]
edge_types: ['son', 'uncle', 'son', 'father', 'daughter', 'brother', 'brother']