story: [Tommy] was drawing pictures with his daughter [Elizabeth]. He was interrupted when he received a call from his son [Spencer]. [Craig] and his brother [David] went to the park to play basketball. [Judy] and her husband [George] went to pick up their daughter [Jean] from school. Her brother [Craig] had to stay late for science olympiad. [George] was thrilled his brother, [Spencer], was able to make it to the party.
query: ('Elizabeth', 'David')
clean_story: [Tommy] was drawing pictures with his daughter [Elizabeth]. He was interrupted when he received a call from his son [Spencer]. [George] was thrilled his brother, [Spencer], was able to make it to the party. [Judy] and her husband [George] went to pick up their daughter [Jean] from school. Her brother [Craig] had to stay late for science olympiad. [Craig] and his brother [David] went to the park to play basketball.
proof_state: [{('Elizabeth', 'nephew', 'David'): [('Elizabeth', 'brother', 'George'), ('George', 'son', 'David')]}, {('Elizabeth', 'brother', 'George'): [('Elizabeth', 'brother', 'Spencer'), ('Spencer', 'brother', 'George')]}, {('George', 'son', 'David'): [('George', 'wife', 'Judy'), ('Judy', 'son', 'David')]}, {('Judy', 'son', 'David'): [('Judy', 'daughter', 'Jean'), ('Jean', 'brother', 'David')]}, {('Elizabeth', 'brother', 'Spencer'): [('Elizabeth', 'father', 'Tommy'), ('Tommy', 'son', 'Spencer')]}, {('Jean', 'brother', 'David'): [('Jean', 'brother', 'Craig'), ('Craig', 'brother', 'David')]}]
edge_types: ['father', 'son', 'brother', 'wife', 'daughter', 'brother', 'brother']