story: [Brad] wanted to have a family cookout so he invited his brother [Anthony]. [Anthony] wanted to invite his other brother [Floyd]. [Christine] was playing with her brother [Thomas], but her mother [Faye] told her she had to go to bed. [Gregory] and his son [Thomas] went to the cinema together. [Faye] planned a trip to the zoo for her brother, [Roger]. They had a great time. [Gregory] bought a steak dinner for himself and his brother [Charles]. [Charles] 'son, [Floyd], aced his math class and made his father proud.
query: ('Roger', 'Brad')
clean_story: [Faye] planned a trip to the zoo for her brother, [Roger]. They had a great time. [Christine] was playing with her brother [Thomas], but her mother [Faye] told her she had to go to bed. [Gregory] and his son [Thomas] went to the cinema together. [Gregory] bought a steak dinner for himself and his brother [Charles]. [Charles] 'son, [Floyd], aced his math class and made his father proud. [Brad] wanted to have a family cookout so he invited his brother [Anthony]. [Anthony] wanted to invite his other brother [Floyd].
proof_state: [{('Roger', 'nephew', 'Brad'): [('Roger', 'brother', 'Charles'), ('Charles', 'son', 'Brad')]}, {('Roger', 'brother', 'Charles'): [('Roger', 'sister', 'Faye'), ('Faye', 'brother', 'Charles')]}, {('Charles', 'son', 'Brad'): [('Charles', 'son', 'Floyd'), ('Floyd', 'brother', 'Brad')]}, {('Floyd', 'brother', 'Brad'): [('Floyd', 'brother', 'Anthony'), ('Anthony', 'brother', 'Brad')]}, {('Faye', 'brother', 'Charles'): [('Faye', 'son', 'Thomas'), ('Thomas', 'uncle', 'Charles')]}, {('Faye', 'son', 'Thomas'): [('Faye', 'daughter', 'Christine'), ('Christine', 'brother', 'Thomas')]}, {('Thomas', 'uncle', 'Charles'): [('Thomas', 'father', 'Gregory'), ('Gregory', 'brother', 'Charles')]}]
edge_types: ['sister', 'daughter', 'brother', 'father', 'brother', 'son', 'brother', 'brother']