story: [Craig] and his brother [Larry] were outside playing baseball when their younger brother [David] ran up and stole their ball. [Jean], who was also outside began laughing. [David]'s mother, [Judy], was disappointed that he failed his math class [George] and his son [Craig] went to the cinema together. [Judy] and her brother [Spencer] went to see a movie. [George] took his son [David] to the park to feed the squirrels.
query: ('Jean', 'Spencer')
clean_story: [Craig] and his brother [Larry] were outside playing baseball when their younger brother [David] ran up and stole their ball. [Jean], who was also outside began laughing. [George] and his son [Craig] went to the cinema together. [George] took his son [David] to the park to feed the squirrels. [David]'s mother, [Judy], was disappointed that he failed his math class [Judy] and her brother [Spencer] went to see a movie.
proof_state: [{('Jean', 'uncle', 'Spencer'): [('Jean', 'mother', 'Judy'), ('Judy', 'brother', 'Spencer')]}, {('Jean', 'mother', 'Judy'): [('Jean', 'brother', 'Larry'), ('Larry', 'mother', 'Judy')]}, {('Jean', 'brother', 'Larry'): [('Jean', 'brother', 'David'), ('David', 'brother', 'Larry')]}, {('Larry', 'mother', 'Judy'): [('Larry', 'brother', 'Craig'), ('Craig', 'mother', 'Judy')]}, {('Craig', 'mother', 'Judy'): [('Craig', 'brother', 'David'), ('David', 'mother', 'Judy')]}, {('Craig', 'brother', 'David'): [('Craig', 'father', 'George'), ('George', 'son', 'David')]}]
edge_types: ['brother', 'brother', 'brother', 'father', 'son', 'mother', 'brother']