story: [David]'s brother [Kenneth] would not let him play the xbox game. [Clifton] and his son [William] went to the cinema together. [Clifton] and his daughter [Julie] took a day off school to go to the zoo. [William] and his brother [David] went hiking with [William]'s mother, [Bonnie]. [Bonnie]'s daughter, [Julie], brought the supplies.
query: ('William', 'Kenneth')
clean_story: [Clifton] and his son [William] went to the cinema together. [Clifton] and his daughter [Julie] took a day off school to go to the zoo. [William] and his brother [David] went hiking with [William]'s mother, [Bonnie]. [Bonnie]'s daughter, [Julie], brought the supplies. [David]'s brother [Kenneth] would not let him play the xbox game.
proof_state: [{('William', 'brother', 'Kenneth'): [('William', 'mother', 'Bonnie'), ('Bonnie', 'son', 'Kenneth')]}, {('Bonnie', 'son', 'Kenneth'): [('Bonnie', 'son', 'David'), ('David', 'brother', 'Kenneth')]}, {('Bonnie', 'son', 'David'): [('Bonnie', 'son', 'William'), ('William', 'brother', 'David')]}, {('William', 'mother', 'Bonnie'): [('William', 'sister', 'Julie'), ('Julie', 'mother', 'Bonnie')]}, {('William', 'sister', 'Julie'): [('William', 'father', 'Clifton'), ('Clifton', 'daughter', 'Julie')]}]
edge_types: ['father', 'daughter', 'mother', 'son', 'brother', 'brother']